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 |  |
|---|---|---|---|---|---|---|
| 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 | Jan 11, 2022 | Apr 2, 2022 | rewriting formal methods logic semantics | |
| NASSLLI 2022 @ USC | North American Summer School in Language, Logic and Information | Los Angeles, CA, United States | Jan 14, 2022 | Jun 18, 2022 | logic language computer science | |
| TACL 2022 | Topology, Algebra, and Categories in Logic 2022 | Coimbra, Portugal | Mar 4, 2022 | Jun 20, 2022 | logic algebra topology category theory | |
| CiE 2022 | Computability in Europe 2022 | Swansea, UK | Feb 4, 2022 | Jul 11, 2022 | computability theory logic mathematics theoretical computer science | |
| LOFT-14 | 14th Conference on Logic and the Foundations of Game and Decision Theory | Groningen, Netherlands | Mar 1, 2022 | Jul 20, 2022 | logic decision theory game theory | |
| FOMEO'22 | Formal Methods Education Online: Tips, Tricks & Tools 2022 | Haifa, Israel | May 10, 2022 | Jul 31, 2022 | online education formal methods automata theory logic | |
| ESSLLI22 StuS | ESSLLI'22 Student Session | Galway, Ireland | Apr 4, 2022 | Aug 8, 2022 | computer science logic linguistics | |