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
DICE-FOPARA-2019	Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis	Prague, Czechia	Feb 7, 2019	Apr 6, 2019	computational complexity type systems logic program analysis
JELIA 2019	European Conference on Logics in Artificial Intelligence	Rende, Italy	Dec 7, 2018	May 8, 2019	artificial intelligence logic ontology neural networks
PLS12	12th Panhellenic Logic Symposium	Anogeia, Crete, Greece	Feb 25, 2019	Jun 26, 2019	logic computability theory model theory set theory
CLA 2019	14th Workshop on Computational Logic and Applications	Versailles, France	Jun 11, 2019	Jul 1, 2019	lambda calculus combinatorics logic programming languages
WoLLIC 2019	Workshop on Logic, Language, Information and Computation	Utrecht, Netherlands	Feb 26, 2019	Jul 2, 2019	logic language computation
PROGIC 2019	Ninth Workshop on Combining Probability and Logic	Frankfurt, Germany	Mar 20, 2019	Jul 7, 2019	probability logic decision theory
ATR2019	All Things Reichenbach	Munich, Germany	Mar 31, 2019	Jul 22, 2019	philosophy of physics philosophy of probability history and philosophy of science logic
LSFA 2019	14th International Workshop on Logical and Semantic Frameworks, with Applications	Natal, Brazil	Apr 19, 2019	Aug 24, 2019	logic type theory proof theory semantic frameworks
Beth2019	E.W.Beth dissertation prize 2019		Apr 15, 2019		logic language philosophy information and computation
CSL 2020	28th International Conference on Computer Science Logic	Barcelona, Spain	Jul 4, 2019	Jan 13, 2020	logic theoretical computer science