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.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| FroCoS 2021 | The 13th International Symposium on Frontiers of Combining Systems | Birmingham, UK | May 10, 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 | |
| WEIT 2021 | VI Workshop-Escola de Informática Teórica | Bagé, Brazil | Sep 30, 2021 | Nov 17, 2021 | theoretical computer science logic formal methods theorem proving | |
| NCMPL 2021 | Non-Classical Modal and Predicate Logics 2021 | Bochum, Germany | Sep 15, 2021 | Nov 23, 2021 | logic nonclassical logics modal logics nonclassical mathematics | |
| 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 | |
| LFCS'22 | Symposium on Logical Foundations of Computer Science | Deerfield Beach, FL, United States | Sep 12, 2021 | Jan 10, 2022 | logic theoretical computer science mathematics philosophy | |
| TLLM2022 | 3rd Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning | Beijing, China | Nov 20, 2021 | Apr 1, 2022 | logic philosophy of language pragmatics natural language semantics | |
| WRLA 2022 | 14th International Workshop on Rewriting Logic and its Applications | Munich, Germany | Dec 28, 2021 | Apr 2, 2022 | rewriting formal methods logic semantics | |