Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
SLIE 2020 Semantic, Logics, Information Extraction and AI
May 17, 2020 - May 20, 2020 North Miami Beach Nov 18, 2019
History of Logic 2019 History of Logic and its Modern Interpretation
Dec 10, 2019 - Dec 12, 2019 Rio de Janeiro Oct 18, 2019
CREATIVITY 2019 1st World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday
Dec 8, 2019 - Dec 13, 2019 Rio de Janeiro Oct 13, 2019
KRR@SAC 2020 Knowledge Representation and Reasoning (track of the 35th ACM/SIGAPP Symposium On Applied Computing)
Mar 30, 2020 - Apr 3, 2020 Brno, Czech Republic Sep 29, 2019
OVERLAY 2019 First workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Nov 19, 2019 - Nov 22, 2019 University of Calabria, Rende, Italy Sep 21, 2019
BDLT 2019 Call for Posters and Lightning Talks for International Summer School on Security & Privacy for Blockchains and Distributed Ledger Technologies - BDLT19
Sep 2, 2019 - Sep 5, 2019 Vienna Aug 8, 2019
RP 2019 13th International Conference on Reachability Problems (RP 2019)
Sep 11, 2019 - Sep 13, 2019 BRUSSELS, BELGIUM Jun 17, 2019
ALC 2019 The Sixteenth Asian Logic Conference
Jun 17, 2019 - Jun 21, 2019 Astana, Kazakhstan May 1, 2019
LSFA 2019 14th Workshop on Logical and Semantic Frameworks, with Applications
Aug 24, 2019 - Aug 26, 2019 Natal, Brazil May 1, 2019
FTfJP 2019 21st Workshop on Formal Techniques for Java-like Programs
Jul 15, 2019 - Jul 19, 2019 London Apr 21, 2019
LearnAut 2019 Learning and Automata (LearnAut) 2019 -- LICS 2019 Workshop
Jun 23, 2019 - Jun 23, 2019 Vancouver, Canada Apr 6, 2019
IULP 2019 3rd International Workshop on User-Oriented Logic Paradigms
Jun 3, 2019 - Jun 4, 2019 Philadelphia, PA (USA) Mar 31, 2019
DLT 2019 Developments in Language Theory
Aug 5, 2019 - Aug 9, 2019 Warsaw, Poland Mar 17, 2019 (Mar 10, 2019)
TACL 2019 Topology, Algebra, and Categories in Logic 2019
Jun 17, 2019 - Jun 21, 2019 Nice, France Feb 27, 2019
ICALP 2019 46th International Colloquium on Automata, Languages, and Programming
Jul 8, 2019 - Jul 12, 2019 Patras, Greece Feb 18, 2019
Logica 2019 Logica 2019
Jun 24, 2019 - Jun 28, 2019 Hejnice, Czech Republic Feb 15, 2019
ICFCA 2019 The 15th International Conference on Formal Concept Analysis
Jun 25, 2019 - Jun 28, 2019 Frankfurt, Germany Jan 25, 2019 (Jan 18, 2019)
CiE 2019 Computability in Europe
Jul 15, 2019 - Jul 19, 2019 Durham, UK Jan 21, 2019
LICS 2019 Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
Jun 24, 2019 - Jun 27, 2019 Vancouver Jan 11, 2019 (Jan 4, 2019)
1st World Logic Day 2019 1st World Logic Day
Jan 14, 2019 - Jan 14, 2019 all around the world Jan 9, 2019
first | previous | Page 5 | next | last Total of 342 CFPs in 18 pages