All CFPs for "logic"
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 |
---|---|---|---|---|---|---|
LANMR 2023 | Fifteenth Latin American Workshop on New Methods of Reasoning: Logic / Languages, Algorithms, New Methods of Reasoning | Mexico City, Mexico | Sep 8, 2023 | Nov 16, 2023 | logic automated reasoning formal methods | |
AiNCM24 | Advances in Non-Classical Mathematics | Ostrava, Czechia | Jan 31, 2024 | philosophy of mathematics logic mathematics | ||
Ackermann23 | Ackermann Award 2023 | Naples, Italy | Jul 1, 2023 | logic |