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 | May 5, 2021 | Jun 18, 2021 | concurrency verification formal semantics logic | |
| FormPhil21 | Formal Philosophy 2021 | Moscow, Russia | May 30, 2021 | Jun 21, 2021 | logic formal philosophy epistemology ethics | |
| TeoCOMP-2021 | II Escola de Teoria da Computação – Nordeste | Quixadá, Brazil | May 10, 2021 | Jun 22, 2021 | algorithms combinatorial optimization graph theory logic | |
| KGD2021-CGL2021 | Kurt Gödel Day 2021 and Czech Gathering of Logicians 2021 | Brno, Czechia | May 24, 2021 | Jun 25, 2021 | 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 | |
| WiL2021 | 5th International Workshop "Women in Logic" | Rome, Italy | Jun 27, 2021 | logic proof theory automated deduction constructive mathematics | | |
| 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 | |
| BLLB 21 | Internationale Tagung: Begriffe der Logik – Logik der Begriffe | Leipzig, Germany | Mar 15, 2021 | Oct 7, 2021 | logic philosophy non classical logic | |
| CLAR 2021 | The Fourth International Conference on Logic and Argumentation | Hangzhou, China | Jun 30, 2021 | Oct 20, 2021 | logic formal argumentation | |
| NCMPL 2021 | Non-Classical Modal and Predicate Logics 2021 | Bochum, Germany | Sep 1, 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 | |