Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
ESSLLI 2023(new) European Summer School in Logic, Language and Information
Jul 31, 2023 - Aug 11, 2023 Ljubljana, Slovenia 🐉 Jun 14, 2023
RP 2023 Reachability Problems
Oct 11, 2023 - Oct 13, 2023 Nice, France Jun 26, 2023 (Jun 19, 2023)
LANMR 2023 15th Latin American Workshop on New Methods of Reasoning : Logic, Languages, Algorithms, New Methods of Reasoning
Nov 16, 2023 - Nov 17, 2023 Mexico City Sep 8, 2023
Expired CFPs
MOSAIC 2023 Modalities in Substructural Logics: Theory, Methods and Applications
Sep 27, 2023 - Sep 29, 2023 Vienna, Austria Jun 2, 2023
KoDis 2023 Workshop on Knowledge Diversity
Sep 2, 2023 - Sep 8, 2023 Rhodes, Greece May 31, 2023
ESSLLI 2023 European Summer School in Logic, Language and Information
Jul 31, 2023 - Aug 11, 2023 Ljubljana, Slovenia May 31, 2023
JELIA 2023 18th European Conference on Logics in Artificial Intelligence
Sep 20, 2023 - Sep 22, 2023 Dresden May 25, 2023 (May 22, 2023)
FMCAD 2023 2023 Formal Methods in Computer-Aided Design (FMCAD)
Oct 23, 2023 - Oct 27, 2023 Ames, Iowa, USA May 22, 2023 (May 15, 2023)
MK 2023 2nd Workshop on Modular Knowledge
Jul 19, 2023 - Jul 20, 2023 Sherbrooke (Qc, Canada) May 22, 2023
CONCUR 2023 International Conference on Concurrency Theory
Sep 18, 2023 - Sep 23, 2023 Antwerp May 2, 2023 (Apr 24, 2023)
Highlights 2023 Highlights of Logic, Games and Automata
Jul 24, 2023 - Jul 28, 2023 Kassel, Germany Apr 25, 2023
DEON 2023 16th INTERNATIONAL CONFERENCE ON DEONTIC LOGIC AND NORMATIVE SYSTEMS
Jul 5, 2023 - Jul 7, 2023 Trois-Rivières, Canada Mar 31, 2023 (Mar 1, 2023)
Logica 2023 Logica 2023
Jun 18, 2023 - Jun 22, 2023 Tepla Monastery, Czech Republic Mar 27, 2023
SAT 2023 The 26th International Conference on Theory and Applications of Satisfiability Testing
Jul 4, 2023 - Jul 8, 2023 Alghero, Italy Mar 17, 2023 (Mar 10, 2023)
LPAR 2023 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Jun 4, 2023 - Jun 9, 2023 Colombia Mar 13, 2023 (Mar 6, 2023)
ICLA 2022 10th Indian Conference on Logic and its Applications
Mar 3, 2022 - Mar 5, 2022 India Oct 2, 2022
Prolog Day 2022 Prolog Day Symposium
Nov 10, 2022 - Nov 10, 2022 Paris, France Sep 2, 2022
LogParadise 2022 Logic of Paradise
Nov 4, 2022 - Nov 8, 2022 Varanasi, India Jul 31, 2022
philosophia naturalis - 2022 philosophia naturalis. Making Sense of Relations and Realities
Feb 25, 2023 - Feb 25, 2023 Hilton Denver City Central in Denver, CO Jul 30, 2022
CSL 2022 Computer Science Logic 2023
Feb 13, 2023 - Feb 17, 2023 Warsaw, Poland Jul 16, 2022 (Jul 9, 2022)
first | previous | Page 1 | next | last Total of 334 CFPs in 17 pages