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

COMPUTATION TOOLS 2020

October 25, 2020 to October 29, 2020 - Nice, France

Deadlines

Submission

Jun 10, 2020

Notification

Jul 01, 2020

Registration

Jul 14, 2020

Camera ready

Jul 20, 2020

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 2020 - The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

October 25, 2020 - October 29, 2020

COMPUTATION TOOLS 2020: Committees
Onsite and Online Options: In order to accommodate a large number of situations, we are offering the option for either physical presence or virtual participation (pdf slides or pre-recorded videos).

COMPUTATION TOOLS 2020 Steering Committee

 

Cornel Klein
Siemens AG
Germany


 

Claus-Peter Rückemann
Westfälische Wilhelms-Universität Münster (WWU) / DIMF / Leibniz Universität Hannover
Germany


 

COMPUTATIONAL TOOLS 2020 Publicity Chair

Javier Rocher, Universitat Politecnica de Valencia, Spain

COMPUTATIONAL TOOLS 2020 Industry/Research Advisory Committee

Miroslav Velev, Aries Design Automation, USA
Keiko Nakata, SAP SE - Potsdam, Germany
Ralph Müller-Pfefferkorn, Technische Universität Dresden, Germany
Laura Carnevali, University of Florence, Italy

COMPUTATION TOOLS 2020 Technical Program Committee

María Alpuente, Valencian Research Institute for Artificial Intelligence (VRAIN) | Technical University of Valencia (UPV), Spain
Lorenzo Bettini, Università di Firenze, Italy
Ateet Bhalla, Independent Consultant, India
Narhimene Boustia, University Saad Dahlab, Blida 1, Algeria
Azahara Camacho, Opinno, Spain
Laura Carnevali, University of Florence, Italy
Emanuele Covino, Universita' di Bari, Italy
Marcos Cramer, TU Dresden, Germany
Andreas Fischer, Deggendorf Institute of Technology, Germany
Cornel Klein, Siemens AG, Germany
Roderick Melnik, Wilfrid Laurier University, Canada
Ralph Müller-Pfefferkorn, Technische Universität Dresden, Germany
Keiko Nakata, SAP SE - Potsdam, Germany
Adam Naumowicz, University of Bialystok, Poland
Cecilia E. Nugraheni, Parahyangan Catholic University, Indonesia
Alberto Policriti,Università di Udine, Italy
Ricardo Rocha, University of Porto, Portugal
Claus-Peter Rückemann, Westfälische Wilhelms-Universität Münster (WWU) / DIMF / Leibniz Universität Hannover, Germany, Germany
James Tan, Singapore University of Social Sciences, Singapore
Hans Tompits, Technische Universität Wien, Austria
Miroslav Velev, Aries Design Automation, USA
Kristin Yvonne Rozier, Iowa State University, USA