FroCoS/ITP/TABLEAUX '25
Reykjavik, Iceland, 27 September-3 October 2025
Registration information and travel information will appear on this page soon.
Here is the accepted paper list of ITP 2025.
ITP 2025 received 102(!), TABLEAUX 47, FroCoS 27 full submissions.
Three theorem proving conferences, FroCoS, ITP and TABLEAUX will happen colocated in Reykjavik, Iceland, in 2025.
The conferences will be hosted by ICE-TCS, the theoretical computer science lab of Reykjavik University.
Local organization chair: Tarmo Uustalu. Team: Bjarki Gunnarsson, Calvin Santiago Lee, Yasuaki Morita, Jacob Neumann...
The Iceproof project and the Artificial Intelligence journal support the conference.