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

COMPUTATION TOOLS 2019

May 05, 2019 to May 09, 2019 - Venice, Italy

Deadlines

Submission

Jan 28, 2019

Notification

Mar 02, 2019

Registration

Mar 13, 2019

Camera ready

Mar 22, 2019

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

Indexing Procedure

Affiliated Journals

COMPUTATION TOOLS 2019 - The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

May 05, 2019 - May 09, 2019

COMPUTATION TOOLS 2019: Committees

COMPUTATION TOOLS 2019 Steering Committee
Ricardo Rocha, University of Porto, Portugal
Cristian Stanciu, University Politehnica of Bucharest, Romania
Ralph Müller-Pfefferkorn, Technische Universität Dresden, Germany
Laura Carnevali, University of Florence, Italy

COMPUTATIONAL TOOLS 2019 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 2019 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, 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
Jianwen Li, Iowa State University, USA
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