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.

FroCoS '25 PC cochairs:

• René Thiemann, Universität Innsbruck
• Christoph Weidenbach, Max Planck Inst. for Informatics

ITP '25 PC cochairs:

• Yannick Forster, Inria Paris
• Chantal Keller, LMF, Université Paris Saclay

TABLEAUX '25 PC cochairs:

• Gian Luca Pozzato, Università degli Studi di Torino
• Tarmo Uustalu, Reykjavik University

The conference 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 will support the conference.

News on the conference will appear on this page. Stay tuned.