Dear all,
we call for bids to host ITP 2024, the 15th International Conference on
Interactive Theorem Proving.
As in previous years, the procedure consists of two phases: solicitation of bids
and voting. This message concerns the first phase. A long-standing ITP/TPHOLs
convention is that the conf
2nd Call for Extended Abstracts & Demonstrations
**
ThEdu'23
Theorem proving components for Educational software
5 July 2023
** Apologies for multiple postings **
33rd International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2023)
Co-located with PPDP 2023 as part of SPLASH 2023
October 23-24, 2023 - Cascais, Lisbon, Portugal
https://lopstr.github.io/2023/
Important dates:
- Abstract submi
