Acronym | Name | Location | Submission Deadline | Start Date | Topics | Add to Watchlist |
|---|---|---|---|---|---|---|
| FSCD 2027 | 12th International Conference on Formal Structures for Computation and Deduction | Nijmegen, Netherlands | April 26, 2027 | August 23, 2027 | calculi semantics methods in computation and deduction algorithmic analysis and transformations formal systems tools and applications |  |
 | EasyChair Smart CFP | User guide |
All CFPs for "calculi semantics"
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.