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
QPL 2019	Quantum Physics and Logic 2019	Orange, CA, United States	Apr 7, 2019	Jun 10, 2019	quantum computing category theory logic quantum foundations
ArgInfoexchange2020	The wisdom and madness of crowds: argumentation, information exchange and social interaction	Amsterdam, Netherlands	Jan 19, 2020	Mar 30, 2020	argumentation theory logic epistemology social psychology
CLAR 2020	The Third International Conference on Logic and Argumentation	Hangzhou, China	Nov 30, 2019	Apr 6, 2020	logic artificial intelligence
TLLM2020	Second Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning: Monotonicity in Logic and Language	Beijing, China	Nov 30, 2019	Apr 10, 2020	logic linguistics monotonicity
TRENDS 2020	Trends in Logic XX. Logic and Reasoning: Formal and Informal	Kyiv, Ukraine	Jan 31, 2020	May 13, 2020	logic reasoning argumentation
CGS 2020	First Workshop of the International Cartography Association Commission on Geospatial Semantics	Redlands, CA, United States	Apr 15, 2020	May 19, 2020	linguistics logic social theory computing
QPL 2020	Quantum Physics and Logic	Paris, France	Mar 20, 2020	Jun 2, 2020	quantum computing category theory logic quantum foundations
SR2020	8th International Workshop on Strategic Reasoning	Santiago de Compostela, Spain	Mar 13, 2020	Jun 8, 2020	logic game theory decision theory synthesis
SEP2020	Society for Exact Philosophy 2020	Pittsburgh, PA, United States	Mar 13, 2020	Jun 12, 2020	logic philosophy of science decision theory
LP 2020 SW	Logical Perspectives Summer School and Workshop	Moscow, Russia	Feb 15, 2020	Jun 15, 2020	logic proof theory computation
LRB20	Logic, Relativity and Beyond 2020	Simontornya, Hungary	Dec 22, 2019	Jun 17, 2020	logic philosophy of science physics computing
IJCAR 2020	10th International Joint Conference on Automated Reasoning	Paris, France	Jan 23, 2020	Jun 29, 2020	automated reasoning logic automated deduction
CiE2020	Computability in Europe 2020	Salerno, Italy	Jan 24, 2020	Jun 29, 2020	computability theoretical computer science logic
FSCD-IJCAR 2020 WS	FSCD-IJCAR 2020 Satellite Workshops	Paris, Aubervilliers, France	Nov 15, 2019		logic automated deduction
LCC'20	Logic and Computational Complexity 2020	Saarbrücken, Germany	Apr 22, 2020	Jul 7, 2020	logic computational complexity
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
WeSSLLI 2020	Virtual Student Session	Waltham, MA, United States	May 4, 2020	Jul 11, 2020	logic language information
NASSLLI 2020	Student Session	Waltham, MA, United States	Apr 3, 2020	Jul 14, 2020	logic language information
CAV 2020	32nd International Conference on Computer Aided Verification	Los Angeles, CA, United States	Jan 28, 2020	Jul 19, 2020	formal methods verification synthesis logic
WAS-ESSLLI20	Workshop on Automated Synthesis	Utrecht, Netherlands	Apr 9, 2020	Aug 3, 2020	logic games automata synthesis
LSFA 2020	International Workshop on Logical and Semantic Frameworks with Applications	Salvador, Brazil	Mar 23, 2020	Aug 26, 2020	logic proof theory automated deduction logical frameworks
CONCUR20	CONCUR 2020: 31st International Conference on Concurrency Theory	On-line Event, Austria	May 6, 2020	Aug 31, 2020	formal methods distributed algorithms logic concurrent systems
Highlights 2020	Highlights of Logic, Games and Automata 2020	Aachen, Germany	Jun 5, 2020	Sep 14, 2020	logic automata games
GandALF 2020	The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification	Bruxelles, Belgium	Jun 15, 2020	Sep 21, 2020	theoretical computer science automata games logic