Saturday 27. September - Thursday 2. October GMT
Reykjavik University, Reykjavík
Online
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
tarmo@ru.is
