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