COMPUTATION TOOLS 2025, The Sixteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

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

COMPUTATION TOOLS 2025

April 06, 2025 to April 10, 2025 - Valencia, Spain

Deadlines

Submission	Jan 05, 2025
Notification	Feb 02, 2025
Registration	Feb 16, 2025
Camera ready	Mar 02, 2025

Deadlines differ for special tracks. Please consult the conference home page for special tracks Call for Papers (if any).

Publication

Published by IARIA Press (operated by Xpert Publishing Services)
Archived in the Open Access IARIA 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 2025 - The Sixteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

April 06, 2025 - April 10, 2025

COMPUTATION TOOLS 2025: Committees

Onsite and Online Options: In order to accommodate various situations, we are offering the option for either physical presence or virtual participation (pdf slides or pre-recorded videos).

COMPUTATION TOOLS 2025 Steering Committee

Cornel Klein
Siemens AG
Germany

Claus-Peter Rückemann
Universität Münster / DIMF / Leibniz Universität Hannover, Germany

COMPUTATION TOOLS 2025 Publicity Chairs

Francisco Javier Díaz Blasco, Universitat Politècnica de València, Spain
Ali Ahmad, Universitat Politècnica de València, Spain
José Miguel Jiménez, Universitat Politècnica de València, Spain
Sandra Viciano Tudela, Universitat Politècnica de València, Spain

COMPUTATION TOOLS 2025 Technical Program Committee

Lorenzo Bettini, Università di Firenze, Italy
Zineddine Bettouche, TH Deggendorf (Deggendorf Institute of Technology), Germany
Ateet Bhalla, Independent Consultant, India
Narhimene Boustia, University Saad Dahlab, Blida 1, Algeria
Azahara Camacho, RTI - Real-Time Innovations, Spain
Patricia Camacho, University of Cádiz, 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