16th International Conference on Interactive Theorem Proving - ITP'25
Reykjavik, Iceland, 27 September-3 October 2025
https://icetcs.github.io/frocos-itp-tableaux25/itp/
First call for papers
# Background
The ITP conference series is concerned with all aspects of interactive
theorem proving,
[cid:image001.jpg@01DB6DA0.FDEACCA0]
CALL FOR PAPERS
to the
14th International
Workshop on the Reliability of Intelligent Environments (WoRIE'25)
http://www.ugr.es/~worie/2025/
to be held within the 21st International Conference on Intelligent Environments
23rd - 26th June 2025 Darmstadt, Ger
