All CFPs for "proof theory"
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.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics | ![]() |
---|---|---|---|---|---|---|
IJCAR 2022 | International Joint Conference on Automated Reasoning 2022 | Haifa, Israel | Feb 18, 2022 | Aug 7, 2022 | automated reasoning proof theory logic in computer science inference systems | ![]() |
TPS 2022 | 4th International Workshop on Proof Theory | Utrecht, Netherlands | Sep 5, 2022 | Nov 11, 2022 | proof theory | ![]() |