Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Linearity & TLLA - 2022 Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications
Jul 31, 2022 - Aug 1, 2022 Haifa, Israel May 20, 2022
STRL 2022 1st International Workshop on Spatio-Temporal Reasoning and Learning
Jul 23, 2022 - Jul 25, 2022 co-located with IJCAI-ECAI 2022 May 20, 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
SYNASC 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Sep 12, 2022 - Sep 15, 2022 Hagenberg, Austria Jun 1, 2022
EBL 2022 20th EBL: XX Encontro Brasileiro de Lógica - XX Brazilian Logic Conference
Sep 12, 2022 - Sep 16, 2022 Salvador - Bahia, Brazil Jun 5, 2022
TIME 2022 29th International Symposium on Temporal Representation and Reasoning
Nov 7, 2022 - Nov 9, 2022 online Jun 26, 2022 (Jun 19, 2022)
RP 2022 Reachability Problems
Oct 17, 2022 - Oct 21, 2022 Kaiserslautern Jun 28, 2022
CSL 2022 Computer Science Logic 2023
Feb 13, 2023 - Feb 17, 2023 Warsaw, Poland Jul 16, 2022 (Jul 9, 2022)
ICLA 2022 10th Indian Conference on Logic and its Applications
Mar 3, 2022 - Mar 5, 2022 India Oct 2, 2022
Expired CFPs
FOMEO 2022 Formal Methods Education Online: Tips, Tricks & Tools 2022
Jul 31, 2022 - Aug 1, 2022 Haifa, Israel May 10, 2022 (May 1, 2022)
Urteile 2022 Urteile der Logik, Logik der Urteile
Sep 29, 2022 - Oct 1, 2022 Hagen May 6, 2022 (Sep 26, 2022)
WCP 2022 The Sixth World Congress of Paraconsistency in Toruń (WCP6) - the Second Stanisław Jaśkowski Memorial Symposium
Sep 5, 2022 - Sep 8, 2022 Poland, Toruń Apr 30, 2022
PAAR 2022 8th Workshop on Practical Aspects of Automated Reasoning
Aug 11, 2022 - Aug 12, 2022 Haifa, Israel, Apr 26, 2022 (Apr 19, 2022)
CONCUR 2022 International Conference on Concurrency Theory
Sep 12, 2022 - Sep 17, 2022 Warsaw, Poland Apr 25, 2022 (Apr 18, 2022)
IWLS 2022 International Workshop on Logic & Synthesis
Jul 18, 2022 - Jul 21, 2022 Virtual Apr 18, 2022 (Apr 11, 2022)
ICE 2022 15th Interaction and Concurrency Experience
Jun 13, 2022 - Jun 17, 2022 Lucca, Italy Apr 29, 2022 (Apr 25, 2022)
KR4HI 2022 The 1st International Workshop on Knowledge Representation for Hybrid Intelligence
Jun 14, 2022 - Jun 14, 2022 Amsterdam, Netherlands Apr 1, 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)
Highlights 2022 Highlights of Logic, Games and Automata
Jun 28, 2022 - Jul 1, 2022 Paris, France Mar 18, 2022
MK 2022 1st Workshop on Modular Knowledge
May 29, 2022 - May 29, 2022 Hersonissos (Greece) Mar 12, 2022 (Mar 8, 2022)
first | previous | Page 1 | next | last Total of 313 CFPs in 16 pages