FroCoS/ITP/TABLEAUX '25
Reykjavik, Iceland, 27 September-3 October 2025
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.
The Iceproof project and the Artificial Intelligence journal support the conference.