The Ninth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

COMPUTATION TOOLS 2018

February 18, 2018 to February 22, 2018 - Barcelona, Spain

Deadlines

Submission

October 1, 2017

Notification

December 3, 2017

Registration

December 17, 2017

Camera ready

January 15, 2018

Publication

Published by IARIA XPS Press

Archived in the free access ThinkMind Digital Library

Prints available at Curran Associates, Inc.

Authors of selected papers will be invited to submit extended versions to a IARIA Journal

Affiliated Journals

COMPUTATION TOOLS 2018 - The Ninth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

February 18, 2018 - February 22, 2018

COMPUTATION TOOLS 2018: Committees

COMPUTATION TOOLS 2018 Steering Committee
Ricardo Rocha, University of Porto, Portugal
Cristian Stanciu, University Politehnica of Bucharest, Romania
Ekaterina Komendantskaya, Heriot-Watt University, UK

COMPUTATIONAL TOOLS 2018 Industry/Research Advisory Committee
Miroslav Velev, Aries Design Automation, USA
Cornel Klein, Siemens AG, Germany

COMPUTATION TOOLS 2018 Technical Program Committee

Davide Arcelli, University of L'Aquila, Italy
Lorenzo Bettini, DISIA - Università di Firenze, Italy
Ateet Bhalla, Independent Consultant, India
Narhimene Boustia, University Saad Dahlab, Blida 1, Algeria
Azahara Camacho, Carbures Defense, Spain
Laura Carnevali, University of Florence, Italy
Emanuele Covino, Università degli Studi di Bari Aldo Moro, Italy
Marc Denecker, KU Leuven, Belgium
David Doukhan, IRCAM/EPITA, Paris, France
António Dourado, University of Coimbra, Portugal
Andreas Fischer, Technische Hochschule Deggendorf, Germany
Tommaso Flaminio, DiSTA - University of Insubria, Italy
Khalil Ghorbal, INRIA, Rennes, France
George A. Gravvanis, Democritus University of Thrace, Greece
Fikret Gurgen, Bogazici University - Istanbul, Turkey
Hani Hamdan, Université de Paris-Saclay, France
Cornel Klein, Siemens AG, Germany
Ekaterina Komendantskaya, Heriot-Watt University, UK
Roderick Melnik, Wilfrid Laurier University, Canada
Ralph Müller-Pfefferkorn, Technische Universität Dresden, Germany
Keiko Nakata, SAP SE, Germany
Adam Naumowicz, University of Bialystok, Poland
Laura Nenzi, TU Wien, Austria
Cecilia Esti Nugraheni, Parahyangan Catholic University, Indonesia
Javier Panadero, Open University of Catalonia, Spain
Mikhail Peretyatkin, Institute of mathematics and mathematical modeling, Almaty, Kazakhstan
Alberto Policriti, Università di Udine, Italy
Enrico Pontelli, New Mexico State University, USA
Ricardo Rocha, University of Porto, Portugal
Patrick Siarry, Université Paris-Est Créteil, France
Cristian Stanciu, University Politehnica of Bucharest, Romania
Martin Sulzmann, Karlsruhe University of Applied Sciences, Germany
James Tan, SIM University, Singapore
Miroslav Velev, Aries Design Automation, USA
Anton Wijs, Eindhoven University of Technology, The Netherlands
Marek B. Zaremba, Université du Québec, Canada