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
DT-2019	Deduktionstreffen 2019	Kassel, Germany	Aug 5, 2019	Sep 23, 2019	automated reasoning logic automated deduction
100IMP	Seminário – Um século de Introduction to Mathematical Philosophy: Russell e sua Teoria das Descrições	Porto Alegre, Brazil	Nov 11, 2019	Nov 25, 2019	philosophy of language semantics pragmatics logic
CSL 2020	28th International Conference on Computer Science Logic	Barcelona, Spain	Jul 4, 2019	Jan 13, 2020	logic theoretical computer science
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 6, 2020	May 13, 2020	logic reasoning argumentation
QPL 2020	Quantum Physics and Logic	Paris, France	Mar 13, 2020	Jun 1, 2020	quantum computing category theory logic quantum foundations
IJCAR 2020	10th International Joint Conference on Automated Reasoning	Paris, France	Jan 23, 2020	Jun 29, 2020	automated reasoning logic automated deduction
CONCUR20	CONCUR 2020: 31st International Conference on Concurrency Theory	Vienna, Austria	Apr 22, 2020	Aug 31, 2020	formal methods distributed algorithms logic concurrent systems