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

Dec 03, 2024

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

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

José Miguel Jiménez, Universitat Politecnica de Valencia, Spain
Sandra Viciano Tudela, Universitat Politecnica de Valencia, Spain

 

COMPUTATION TOOLS 2025 Technical Program Committee

(to be announced)