September 9–14, 2024
Fifteenth Conference on Interactive Theorem Proving
Tbilisi, Georgia, 2024
ITP 2024 Organization
Program co-chairs
Yves Bertot
Temur Kutsia
Michael Norrish
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
- 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
- Mariam Tchubabria, Kutaisi International University, Georgia
- Tornike Tsereteli, Kutaisi International University, Georgia