COMPUTATION TOOLS 2024 - The Fifteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
April 14, 2024 - April 18, 2024
COMPUTATION TOOLS 2024: 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 2024 Steering Committee
|
|
Cornel Klein
Siemens AG
Germany
|
|
|
Claus-Peter Rückemann
Universität Münster / DIMF / Leibniz Universität Hannover, Germany
|
COMPUTATION TOOLS 2024 Publicity Chairs
José Miguel Jiménez, Universitat Politecnica de Valencia, Spain
Sandra Viciano Tudela, Universitat Politecnica de Valencia, Spain
COMPUTATION TOOLS 2024 Technical Program Committee
Lorenzo Bettini, Università di Firenze, Italy
Ateet Bhalla, Independent Consultant, India
Narhimene Boustia, University Saad Dahlab, Blida 1, Algeria
Azahara Camacho, Opinno, Spain
Angelo Ciaramella, University of Naples Parthenope, Italy
Cornel Klein, Siemens AG, Germany
Emanuele Covino, Universita' di Bari, Italy
Marcos Cramer, TU Dresden, Germany
Santiago Escobar, VRAIN - Universitat Politècnica de València, Spain
Andreas Fischer, Deggendorf Institute of Technology, Germany
Shengzhong Mao, University of Manchester, UK
Roderick Melnik, Wilfrid Laurier University, Canada
Corrado Mencar, Università degli Studi di Bari Aldo Moro, Italy
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, University of Udine, Italy
Kristin Yvonne Rozier, Iowa State University, USA
James Tan, Singapore University of Social Sciences, Singapore
Hans Tompits, Technische Universität Wien, Austria
Prajna Upadhyay, BITS Pilani Hyderabad, India
Miroslav Velev, Aries Design Automation, USA
Tao Zheng, Orange Innovation China, China