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
Ralph Müller-Pfefferkorn, Technische Universität Dresden, Germany
Laura Carnevali, University of Florence, Italy
COMPUTATIONAL TOOLS 2018 Industry/Research Advisory Committee
Miroslav Velev, Aries Design Automation, USA
Cornel Klein, Siemens AG, Germany
Laura Nenzi, TU Wien, Austria
Cecilia Esti Nugraheni, Parahyangan Catholic University, Indonesia
Azahara Camacho, Carbures Defense, Spain
Keiko Nakata, SAP SE - Potsdam, 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, Institut national de l'audiovisuel (Ina), 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