Call for Papers

We solicit submissions related to the topics of ICTAC in the following categories:

• Full papers describing original research contributions.
• Short papers describing original work in progress, new ideas, and emerging challenges.
• Tool papers describing tools supporting formal techniques for software modeling, system design, and verification.

Submissions must not exceed 16 pages (excluding a bibliography of a maximum of 2 pages). Short and tool papers should not exceed 8 pages.

Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged based on originality, contribution to the field, technical and presentation quality, and relevance to the conference’s topics.

All contributions to ICTAC 2025 must be submitted electronically in PDF format via EasyChair:

https://easychair.org/conferences?conf=ictac2025

Papers must be formatted according to the guidelines for Springer LNCS papers, without modifications of margins and other space-saving measures.

Accepted Papers :

All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series.
All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register for the conference by the early registration deadline and present the paper. There will be a special issue for selected papers in the Elsevier’s journal Theoretical