Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| CICM 2026 | 19th Conference on Intelligent Computer Mathematics | Ljubljana, Slovenia | April 1, 2026 | September 21, 2026 | interactive theorem proving automated theorem proving proof systems formal mathematics |  |
 | EasyChair Smart CFP | User guide |
All CFPs for "proof systems"
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click .
Click on a topic to see related CFPs.