FroCoS/ITP/TABLEAUX 2025

Reykjavik University, Reykjavík

Online

Online ticket sales has ended

Three international conferences on theorem proving that in 2025 colocate in Reykjavik, Iceland

https://icetcs.github.io/frocos-itp-tableaux25/

Reykjavik University • Menntavegur 1, 102 Reykjavík, Iceland

Directions
Google Map of Menntavegur 1, 102 Reykjavík, Iceland

ICE-TCS lab

tarmo@ru.is