All CFPs for "logic"
CFPs in the table are ordered by the end date.
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.
CFPs are ordered by the end date.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| LOFT2020 | 14th Conference on Logic and the Foundations of Game and Decision Theory | Groningen, Netherlands | Mar 1, 2020 | Jul 8, 2020 | logic decision theory game theory | |
| ICE 2021 | 14th Interaction and Concurrency Experience | Valletta, Malta | Apr 19, 2021 | Jun 18, 2021 | concurrency verification formal semantics logic | |
| TARK 2021 | The Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge | Beijing, China | Mar 20, 2021 | Jun 25, 2021 | logic computer science philosophy game theory | |
| BLLB 21 | Internationale Tagung: Begriffe der Logik – Logik der Begriffe | Leipzig, Germany | Mar 15, 2021 | Jun 28, 2021 | logic philosophy non classical logic | |
| FroCoS 2021 | The 13th International Symposium on Frontiers of Combining Systems | Birmingham, UK | May 3, 2021 | Sep 6, 2021 | automated reasoning logic artificial intelligence | |
| ICTAC 2021 | 18th International Colloquium on Theoretical Aspects of Computing | Nur-Sultan, Kazakhstan | May 7, 2021 | Sep 6, 2021 | formal methods logic verification software engineering | |
| CLAR 2021 | The Fourth International Conference on Logic and Argumentation | Hangzhou, China | Jun 30, 2021 | Oct 20, 2021 | logic formal argumentation | |
| CGS 2021 | First Workshop of the International Cartography Association Commission on Geospatial Semantics | Florence, Italy | Oct 15, 2021 | Dec 12, 2021 | linguistics logic social theory computing | |