Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
IULP 2020 3rd International Workshop on User-Oriented Logic Paradigms
Jun 9, 2020 - Jun 9, 2020 Santiago de Compostela, Spain Mar 8, 2020
UNIF 2020(new) The 34th International Workshop on Unification
Jun 29, 2020 - Jun 29, 2020 Paris, France Apr 20, 2020 (Apr 13, 2020)
CONCUR 2020 31st International Conference on Concurrency Theory
Sep 1, 2020 - Sep 4, 2020 Vienna, Austria Apr 22, 2020 (Apr 15, 2020)
ATVA 2020 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
Oct 26, 2020 - Oct 30, 2020 Hanoi, vietnam May 3, 2020 (Apr 26, 2020)
Expired CFPs
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
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
first | previous | Page 1 | next | last Total of 261 CFPs in 14 pages