Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| FICS 2026 | Fixed Points in Computer Science | Paris, France | January 4, 2026 | February 23, 2026 | proof theory category theory game theory type theory |  |
 | EasyChair Smart CFP | User guide |
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.