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 19, 2026 to April 23, 2026 - Lisbon, Portugal

Deadlines

Submission	Jan 07, 2026
Notification	Feb 15, 2026
Registration	Mar 01, 2026
Camera ready	Mar 15, 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 19, 2026 - April 23, 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)