AITP 2025

Stream: Machine Learning for Theorem Proving

[Chiung-Yi Tseng]

Hi, does anyone know how to register and buy the ticket? The page is so simple, I can't find information there. I wrote to one of the organizer, only to know that it's an in-person only event. Still no information about the tickets.

[Mario Carneiro]

registration closed yesterday, the links were distributed by email. You should probably contact Josef Urban

[Anh Nguyễn]

Are there any recordings of talks and where to get it