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

Giovanni Bacci (Aalborg University, DK)
Christel Baier (TU Dresden, DE)
Gilles Barthe (MPI Institute for Security and Privacy, DE)
Ezio Bartocci (TU Wien, AT)
Maurice ter Beek (CNR-ISTI, IT)
Roberto Bruni (University of Pisa, IT)
Carlos E. Budde (Technical University of Denmark, DK)
Alessandro Cimatti (Fondazione Bruno Kessler, IT)
Clemens Dubslaff (Eindhoven University of Technology, NL)
Uli Fahrenberg (LMF, Paris-Saclay University, FR)
Martin Fränzle (Carl von Ossietzky Universität Oldenburg, DE)
Diego Garbervetsky (University of Buenos Aires, AR)
Rob van Glabbeek (University of Edinburgh, UK)
Arnd Hartmanns (University of Twente, NL)
Peter Höfner (Australian National University, AU)
Justin Hsu (Cornell University, US)
David N. Jansen (Institute of Software, Chinese Academy of Sciences, CN)
Sebastian Junges (Radboud University, NL)
Violet Ka I Pun (Western Norway University of Applied Sciences, NO)
Mayuko Kori (RIMS, Kyoto University, JP)
Martin Leucker (University of Lübeck, DE)
Mieke Massink (CNR-ISTI, IT)
Jorge A. Pérez (University of Groningen, NL)
Elaine Pimentel (University College London, UK)
Anne Remke (University of Münster, DE)
Tamara Rezk (INRIA Côte d'Azur, Université Côte d'Azur, FR)
César Sánchez (IMDEA Software Institute, ES)
Gerardo Schneider (University of Gothenburg, SE)
B Srivathsan (Chennai Mathematical Institute, IN)
Mahsa Varshosaz (IT University of Copenhagen, DK)
Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg, DE)

Local Organizing Committee

Javier Areta (National University of Río Negro, AR)
Juan Pablo Pascual (Balseiro Institute, AR)
Santiago Perez Giglia (National University of Technology, AR)

Publicity Chair

Florencia Zanolo (University of Buenos Aires, AR)