All CFPs for "automated theorem proving"

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**.

Acronym | Name | Location | Submission deadline | Start date | Topics | Add to watchlist |
---|---|---|---|---|---|---|

ThEdu 24 | The 13th International Workshop on Theorem proving components for Educational software | Nancy, France | Apr 10, 2024 | Jul 2, 2024 | interactive theorem proving automated theorem proving education |