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 | Add to watchlist |
---|---|---|---|---|---|---|

Wormshop 2024 | Workshop on Proof Theory, Modal Logic and Reflection Principles 2024 | Ghent, Belgium | Sep 2, 2024 | logic proof theory modal logic computability | ||

NCL'24 | Non-Classical Logics: Theory and Applications 2024 | Łódź, Poland | May 10, 2024 | Sep 5, 2024 | non classical logics logic in computer science computational complexity proof theory |