FroCoS/ITP/TABLEAUX '25
Reykjavik, Iceland, 27 September-2 October 2025
The Lean workshop on Thu 2 Oct will happen in room M117.
Lunch in the canteen. Coffee in the classrooms.
(28 Sept) TABLEAUX proceedings!
(25 Sept) TABLEAUX received 43, FroCoS 31, ITP 75, Rocq 22 and Lean 33 in-person registrations, excl the local participants.
(22 Sept) Here are the proceedings of ITP 2025 hot off the press!
(20 Sept) The proceedings of FroCoS 2025 are out! (This is before the proceedings of LICS 2025. These have not yet been published although the conference took place in June.)
(17 Sept) The conference dinner is full! We have stopped registration at the rates that include the dinner.
(20 Aug) Rocq accepted paper list!
(18 Aug) A preliminary programme is out!
(5 Aug) Registration is open. The early registration deadline is Mon 25 Aug UTC.
(28 July) A policy matter: We want the conference to be purely scientific; there is no place for ideological/political statements in the presentations.
The proceedings of FroCoS 2025 will appear as LNCS(LNAI) 15979, the proceedings of TABLEAUX 2025 as LNCS(LNAI) 15980 in Gold Open Access.
ITP will have two affiliated workshops: Rocqshop 2025 and ITP 2025 Lean Workshop.
TABLEAUX 2025 accepted paper list!
The accepted paper list of FroCoS 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: Antonis Achilleos, Bjarki Gunnarsson, Vasiliki Kyriakou, Yasuaki Morita, Jacob Neumann.
The Iceproof project, Inria and the Artificial Intelligence journal support the conference.
dinner