ITP 2024 Organization

Program co-chairs

Yves Bertot
Inria

Temur Kutsia
RISC, Johannes Kepler University

Michael Norrish
Australian National University

Program Committee

Yves BertotINRIA
Temur KutsiaRISC, Johannes Kepler University Linz
Michael NorrishAustralian National University
Mohammad AbdulazizKing's College London
Reynald AffeldtNational Institute of Advanced Industrial Science and Technology (AIST)
Nada AminHarvard University
Mauricio Ayala-RincónUniversidade de Brasilía
Mario CarneiroCarnegie Mellon University
Pierre CourtieuCédric-CNAM
Catherine DuboisENSIIE-INRIA
Besik DunduaKutaisi International University / VIAM, Tbilisi State University
Manuel EberlUniversity of Innsbruck
Yannick ForsterINRIA
Ruben GamboaUniversity of Wyoming
Ralf JungETH Zurich
Hrutvik KanabarArm
Gerwin KleinProofcraft & UNSW Sydney
Angeliki Koutsoukou ArgyrakiRoyal Holloway, University of London, and University of Cambridge
Ramana Kumar
Robert LewisBrown University
Marco MaggesiUniversità degli Studi Firenze
Mariano MoscatoAMA / NASA LaRC
Magnus O. MyreenChalmers University of Technology
Adam NaumowiczFaculty of Computer Science, University of Bialystok, Poland
Karl PalmskogKTH Royal Institute of Technology
Andrei PopescuUniversity of Sheffield
Eric SmithKestrel Institute
Hira SyedaChalmers University
Yong Kiam TanInstitute for Infocomm Research (I2R), A*STAR
René ThiemannUniversity of Innsbruck
Dmitriy TraytelUniversity of Copenhagen
Christian UrbanKing's College London
Josef UrbanCzech Technical University in Prague
Floris van DoornUniversity of Bonn
Niccolò VeltriTallinn University of Technology
Niels VoorneveldCybernetica AS
Freek WiedijkRadboud University Nijmegen
Burkhart WolffUniversité Paris-Saclay

Organization Committee
  • Matthias Baaz, Vienna University of Technology, Austria
  • Giorgi Bakradze, Kutaisi International University, Georgia
  • Besik Dundua (chair), Kutaisi International University and Institute of Applied Mathematics, Tbilisi State University, Georgia
  • Tata Dundua, Institute of Applied Mathematics, Tbilisi State University, Georgia
  • Mariam Gamsakhurdia, Vienna University of Technology, Austria
  • Mariam Katamashvili, Kutaisi International University, Georgia
  • Temur Kutsia, RISC, Johannes Kepler University, Austria
  • Mikheil Kvinikadze, Kutaisi International University, Georgia
  • Tsotne Mikadze, Kutaisi International University, Georgia
  • Mikheil Rukhaia (co-chair), Institute of Applied Mathematics, Tbilisi State University, Georgia
  • Tornike Tsereteli, Kutaisi International University, Georgia