Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
SQUARE 2020 7th World Congress on the Square of Opposition
Sep 16, 2020 - Sep 20, 2020 Leuven, Belgium May 31, 2020
EXPRESS/SOS 2020 Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Aug 31, 2020 - Aug 31, 2020 Vienna, Austria Jun 26, 2020
WOMoCoE 2020 5th International Workshop on Ontology Modularity, Contextuality, and Evolution
Sep 14, 2020 - Sep 14, 2020 Bolzano, Italy Jun 29, 2020 (Jun 24, 2020)
OVERLAY 2020 Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Sep 25, 2020 - Sep 26, 2020 Bolzano, Italy Jul 3, 2020
RP 2020(new) 14th International Conference on Reachability Problems (RP'20)
Oct 19, 2020 - Oct 21, 2020 Paris, France Jul 3, 2020 (Jun 30, 2020)
Expired CFPs
IULP 2020 3rd International Workshop on User-Oriented Logic Paradigms
Aug 29, 2020 - Aug 30, 2020 Santiago de Compostela, Spain May 17, 2020
ATVA 2020 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
Oct 26, 2020 - Oct 30, 2020 Hanoi, vietnam May 12, 2020 (May 6, 2020)
UNIF 2020 The 34th International Workshop on Unification
Jun 29, 2020 - Jun 29, 2020 online Apr 27, 2020 (Apr 20, 2020)
CONCUR 2020 31st International Conference on Concurrency Theory
Sep 1, 2020 - Sep 4, 2020 Vienna, Austria Apr 22, 2020 (Apr 15, 2020)
ICALP 2020 47th International Colloquium on Automata, Languages and Programming
Jul 8, 2020 - Jul 12, 2020 Beijing, China Feb 12, 2020
IJCAR 2020 10th International Joint Conference on Automated Reasoning
Jun 29, 2020 - Jul 5, 2020 Paris, France Jan 23, 2020 (Jan 16, 2020)
WLD 2020 2nd World Logic Day 14 January 2020
Jan 14, 2020 - Jan 14, 2020 all around the world Jan 14, 2020
LICS 2020 Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
Jul 8, 2020 - Jul 12, 2020 Beijing, China Jan 10, 2020 (Jan 6, 2020)
Creativity, Creation, and Logic 2019 Philosophy of Religion: Creation, Creativity, and the Logic of Religious Discourse
Dec 8, 2019 - Dec 13, 2019 Rio de Janeiro Dec 15, 2019 (Nov 30, 2019)
ZJULogAI 2020 Zhejiang Conferences on Logics in Artificial Intelligence
Apr 6, 2020 - Apr 9, 2020 Hangzhou, China Nov 30, 2019
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
first | previous | Page 1 | next | last Total of 269 CFPs in 14 pages