COMPUTATION TOOLS 2026, The Seventeenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

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

COMPUTATION TOOLS 2026

April 12, 2026 to April 16, 2026 - Lisbon, Portugal

Deadlines

Submission	Dec 31, 2025
Notification	Feb 08, 2026
Registration	Feb 22, 2026
Camera ready	Mar 08, 2026

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

April 12, 2026 - April 16, 2026

COMPUTATION TOOLS 2026: 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 2026 Steering Committee

Cornel Klein
Siemens AG
Germany

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

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

COMPUTATION TOOLS 2026 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 2026 Technical Program Committee

(to be announced)