 |
The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking COMPUTATION TOOLS 2017 |
| Committees |
COMPUTATION TOOLS Steering Committee
Ricardo Rocha, University of Porto, Portugal
Cristian Stanciu, University Politehnica of Bucharest, Romania
Ekaterina Komendantskaya, Heriot-Watt University, UK
COMPUTATIONAL TOOLS 2017 Industry/Research Advisory Committee
Miroslav Velev, Aries Design Automation, USA
Cornel Klein, Siemens AG, Germany
COMPUTATION TOOLS 2017 Technical Program Committee
Lorenzo Bettini, DISIA - Università di Firenze, Italy
Ateet Bhalla, Independent Consultant, India
Narhimene Boustia, University Saad Dahlab, Blida 1, Algeria
Azahara Camacho, Universidad Complutense de Madrid, Spain
Emanuele Covino, Università degli Studi di Bari Aldo Moro, Italy
Marc Denecker, KU Leuven, Belgium
António Dourado, University of Coimbra, Portugal
Tommaso Flaminio, DiSTA - University of Insubria, Italy
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
Annie Liu, Stony Brook University, USA
Roderick Melnik, Wilfrid Laurier University, Canada
Ralph Müller-Pfefferkorn, Technische Universität Dresden, Germany
Adam Naumowicz, University of Bialystok, Poland /
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
Marek B. Zaremba, Université du Québec, Canada
