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
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