ITP 2024 Organization

Program co-chairs

Program Committee

Yves Bertot	INRIA
Temur Kutsia	RISC, Johannes Kepler University Linz
Michael Norrish	Australian National University
Mohammad Abdulaziz	King's College London
Reynald Affeldt	National Institute of Advanced Industrial Science and Technology (AIST)
Nada Amin	Harvard University
Mauricio Ayala-Rincón	Universidade de Brasilía
Mario Carneiro	Carnegie Mellon University
Pierre Courtieu	Cédric-CNAM
Catherine Dubois	ENSIIE-INRIA
Besik Dundua	Kutaisi International University / VIAM, Tbilisi State University
Manuel Eberl	University of Innsbruck
Yannick Forster	INRIA
Ruben Gamboa	University of Wyoming
Ralf Jung	ETH Zurich
Hrutvik Kanabar	Arm
Gerwin Klein	Proofcraft & UNSW Sydney
Angeliki Koutsoukou Argyraki	Royal Holloway, University of London, and University of Cambridge
Ramana Kumar
Robert Lewis	Brown University
Marco Maggesi	Università degli Studi Firenze
Mariano Moscato	AMA / NASA LaRC
Magnus O. Myreen	Chalmers University of Technology
Adam Naumowicz	Faculty of Computer Science, University of Bialystok, Poland
Karl Palmskog	KTH Royal Institute of Technology
Andrei Popescu	University of Sheffield
Eric Smith	Kestrel Institute
Hira Syeda	Chalmers University
Yong Kiam Tan	Institute for Infocomm Research (I2R), A*STAR
René Thiemann	University of Innsbruck
Dmitriy Traytel	University of Copenhagen
Christian Urban	King's College London
Josef Urban	Czech Technical University in Prague
Floris van Doorn	University of Bonn
Niccolò Veltri	Tallinn University of Technology
Niels Voorneveld	Cybernetica AS
Freek Wiedijk	Radboud University Nijmegen
Burkhart Wolff	Université Paris-Saclay

Organization Committee

• Matthias Baaz, Vienna University of Technology, Austria
• Besik Dundua (chair), Kutaisi International University and Institute of Applied Mathematics, Tbilisi State University, Georgia
• Mariam Gamsakhurdia, Vienna University of Technology, Austria
• Mikheil Rukhaia (co-chair), Institute of Applied Mathematics, Tbilisi State University, Georgia

Volunteer Students

• Giorgi Bakradze, Kutaisi International University, Georgia
• Tata Dundua, Institute of Applied Mathematics, Tbilisi State University, Georgia
• Mariam Gogokhia, Kutaisi International University, Georgia
• Luka Javakhishvili, Kutaisi International University, Georgia
• Mariam Katamashvili, Kutaisi International University, Georgia
• Mikheil Kvinikadze, Kutaisi International University, Georgia
• Tsotne Mikadze, Kutaisi International University, Georgia
• Mariam Tchubabria, Kutaisi International University, Georgia
• Tornike Tsereteli, Kutaisi International University, Georgia