Welcome to ICTAC 2026!
The ICTAC 2026 conference will take place 11-14 March 2026 in Stellenbosch, South Africa, preceded by a spring school, 7-10 March, organized jointly with CARI.
NEWS
- 14 March 2026: Check some pictures from the conference.
- 11 March 2026: The ICTAC best paper award, donated by Springer, went to Sergey Goncharov, Christoph Rauch and Lutz Schröder for their paper A Metalanguage for Guarded Iteration. Congratulations!
- 10 March 2026: The proceedings of ICTAC 2026 are now out as LNCS 11187. The volume is freely accessible to the conference partipants here, only via this page, until 14 March 2026.
- 20 February 2026: Early registration extended until 5 March, midnight South Africa time.
- 24 February 2026: On 10 March, we will have an informal workshop on (co)algebraic language and automata theory.
To propose a talk, send an abstract and title by 3 March. - 10 February 2026: School and conference preliminary program available, registration open.
Early registration is until 1 March. - 6 February 2026: Final result: 26 papers accepted, 1 of them then withdrawn, so we have 25.
- 20 January 2026: 22 papers accepted, 4 more papers conditionally.
- 17 January 2026: Notification postponed to 20 January.
- 10 January 2026: ICTAC received 59 full submissions!
- 5 January 2026: Abstract/full paper deadlines extended to 20/27 January.
AFFILIATED AND COLOCATED EVENTS
- CARI/ICTAC spring school, 7-10 March 2026
- ICTAC workshop Algebra and Coalgebra in Languages and Automata, 10 March 2026
- AC21 workshop Finding Software Errors before They Find You, 10 March 2026
- CARI Conference, 9-11 March 2026
IMPORTANT DATES
| Abstracts | |
| Papers | |
| Notification | |
| Final versions | 3 March 2026 |
INVITED SPEAKERS
- Yves Bertot (INRIA Sophia Antipolis - Méditerranée, FR)
- Tommie Meyer (University of Cape Town, ZA)
- Gennaro Parlato (University of Southampton, UK)
- Peter Thiemann (Universität Freiburg, DE)
PC CO-CHAIRS
- Bernd Fischer (Stellenbosch University, ZA)
- Tarmo Uustalu (Reykjavik University, IS / TalTech University, EE)