English
French

English
French

Home
Person, units and other authorities
Events
15th International Conference on Interactive Theorem Proving (ITP 2024)

15th International Conference on Interactive Theorem Proving (ITP 2024)

Event date

September 9-14, 2024

Location

Tbilisi, Georgia

Contact
infoscience@epfl.ch

Follow us on Facebook
Follow us on Instagram
Follow us on LinkedIn
Follow us on X
Follow us on Youtube

Accessibility Legal notice Privacy policy Cookie settings End User Agreement Get help Feedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés