ICTAC 2026

Committees

Steering Committee

Martin Leucker (Chair) (University of Lübeck, Germany)
Zhiming Liu (Southwest University, China)
Tobias Nipkow (Technische Universität München, Germany)
Augusto Sampaio (Universidade Federal de Pernambuco, Brazil)
Natarajan Shankar (SRI, USA)
Tarmo Uustalu (Reykjavik University, Iceland)

General Co-Chairs

Carlos Lopez Pombo (National University of Río Negro - CONICET)
Pablo Francisco Castro (National University of Río Cuarto - CONICET)

Program Co-Chairs

Pedro R. D'Argenio (National University of Córdoba - CONICET)
Ana Sokolova (University of Salzburg)

Program Committee

TBA

Organizing Committee

TBA