===
ITP 2024 Call for Participation
https://www.viam.science.tsu.ge/itp2024/
===
The Fifteenth International Conference on Interactive Theorem Proving (ITP 2024)
will take place on September 9-14, 2024 in Tbilisi, Georgia. It is
planned as
https://www.viam.science.tsu.ge/itp2024/
The international conference on Interactive Theorem Proving (ITP 2024)
will take place on September 9-14, 2024 in Tbilisi, Georgia. It is
planned as a hybrid meeting. It will mostly be a face-to-face (physical)
meeting but facilities will be provided for
https://www.viam.science.tsu.ge/itp2024/
The international conference on Interactive Theorem Proving (ITP 2024)
will take place on September 9-14, 2024 in Tbilisi, Georgia. It is
planned as a hybrid meeting. It will mostly be a face-to-face (physical)
meeting but facilities will be provided for
ITP 2023: First Call for Papers
https://www.viam.science.tsu.ge/itp2024/
The international conference on Interactive Theorem Proving (ITP 2024)
will take place on September 9-14, 2024 in Tbilisi, Georgia. It is
planned as a face-to-face (physical) meeting.
The ITP conference series is concerned
ogram Committee
Reynald Affeldt, AIST, Japan
Thorsten Altenkirch, University of Nottingham, UK
Jesús Aransay, Universidad de La Rioja, Spain
Andrea Asperti, University of Bologna, Italy
Clark Barrett, Stanford University, USA
Yves Bertot, INRIA, France (co-chair)
Nikolaj Bjorner, Microsoft Research, US
ogram Committee
Reynald Affeldt, AIST, Japan
Thorsten Altenkirch, University of Nottingham, UK
Jesús Aransay, Universidad de La Rioja, Spain
Andrea Asperti, University of Bologna, Italy
Clark Barrett, New York University, USA
Yves Bertot, INRIA, France (co-chair)
Nikolaj Bjorner, Microsoft Research
