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 | ![]() |
---|---|---|---|---|---|---|
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 31, 2022 | Jun 20, 2022 | logic algebra topology category theory | ![]() |
Highlights2022 | Highlights 2022 of Logic, Games and Automata | Paris, France | Mar 18, 2022 | Jun 28, 2022 | logic automata theory games for logic and verification | ![]() |
QPL 2022 | Quantum Physics and Logic 2022 | Oxford, UK | Apr 26, 2022 | Jun 27, 2022 | quantum computing category theory logic quantum foundations | ![]() |
MFPS 2022 | 38th International Conference on Mathematical Foundations of Programming Semantics | Ithaca, NY, United States | May 6, 2022 | Jul 11, 2022 | programming languages semantics logic | ![]() |
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 8, 2022 | Jul 20, 2022 | logic decision theory game theory | ![]() |
FOMEO'22 | Formal Methods Education Online: Tips, Tricks & Tools 2022 | Haifa, Israel | Jul 30, 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 | ![]() |
OVERLAY 2022 | 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis | Udine, Italy | Nov 29, 2022 | automata theory game theory controller synthesis logic | ![]() |