Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
RT-UNILOG 2022 Reasoning in Text
Apr 6, 2022 - Apr 11, 2022 OrthodoX Academy of Crete, Kolimvari Jan 21, 2022
TiL 2022 Trends in Logic XXII
Jul 18, 2022 - Jul 20, 2022 Cagliari, Italy Feb 4, 2022
MK 2022(new) 1st Workshop on Modular Knowledge
May 29, 2022 - Jun 2, 2022 Hersonissos (Greece) Feb 28, 2022 (Feb 21, 2022)
LANMR 2022 Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning
Jun 16, 2022 - Jun 17, 2022 Mexico City Apr 1, 2022 (Mar 25, 2022)
CONCUR 2022 International Conference on Concurrency Theory
Sep 12, 2022 - Sep 17, 2022 Warsaw, Poland Apr 25, 2022 (Apr 18, 2022)
FOMEO 2022(new) Formal Methods Education Online: Tips, Tricks & Tools 2022
Jul 31, 2022 - Aug 1, 2022 Haifa, Israel May 10, 2022 (May 1, 2022)
EXPRESS/SOS 2022 Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
Sep 12, 2022 - Sep 12, 2022 Warsaw, Poland Jun 1, 2022
Expired CFPs
UNILOG 2022 7th World Congress and School on Universal Logic
Apr 1, 2022 - Apr 11, 2022 Orthodox Academy of Crete Nov 11, 2021
KRR@SAC 2022 Knowledge Representation and Reasoning (track of the 37th ACM/SIGAPP Symposium On Applied Computing
Apr 25, 2022 - Apr 29, 2022 Brno, Czech Republic Oct 15, 2021
Logic and Love 2022 Logic and Love, Workshop at UNILOG'2022
Apr 6, 2022 - Apr 11, 2022 Orthodox Academy of Crete Oct 15, 2021
Refutation 2022 100 Years of Refutation
Apr 1, 2022 - Apr 11, 2022 Orthodox Academy of Crete Sep 21, 2021
LARAW 2021 Logic and Religion Webinar
Jul 22, 2021 - Jul 22, 2022 On-Line Sep 1, 2021
ASPOCP 2021 Answer Set Programming and Other Computing Paradigms
Sep 20, 2021 - Sep 27, 2020 Virtual Jul 8, 2021 (Jul 1, 2021)
LACL 2021 Logical Aspects of Computational Linguistics
Dec 13, 2021 - Dec 17, 2021 Online Jun 27, 2021
ESSLLI 2022 33rd European Summer School in Logic, Language and Information
Aug 8, 2022 - Aug 19, 2022 Galway, Ireland Jun 22, 2021 (Jun 15, 2021)
ECSQARU 2021 The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Sep 21, 2021 - Sep 24, 2021 Prague (Czechia) May 19, 2021 (May 15, 2021)
ICTAC 2021 18th International Colloquium on Theoretical Aspects of Computing
Sep 6, 2021 - Sep 10, 2021 Nur-Sultan May 14, 2021
ICE 2021 14th Interaction and Concurrency Experience
Jun 18, 2021 - Jun 18, 2021 University of Malta and/or online May 5, 2021 (May 1, 2021)
SMT 2021 SMT 2021 -- 19th International Workshop on Satisfiability Modulo Theories
Jul 18, 2021 - Jul 19, 2021 Los Angeles, CA, USA Apr 30, 2021
WiL 2021 5th Women in Logic Workshop
Jun 27, 2021 - Jun 27, 2021 Rome - online Apr 20, 2021
first | previous | Page 1 | next | last Total of 295 CFPs in 15 pages