Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
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
CSL 2024 32nd EACSL Annual Conference on Computer Science Logic
Feb 19, 2024 - Feb 24, 2024 Napoli, Italy Jul 31, 2023 (Jul 24, 2023)
RP 2023 The 17th International Conference on Reachability Problems
Oct 11, 2023 - Oct 13, 2023 Nice, France Jul 4, 2023
ESSLLI 2023 European Summer School in Logic, Language and Information
Jul 31, 2023 - Aug 11, 2023 Ljubljana, Slovenia 🐉 Jun 14, 2023
LAIIL 2023 International Workshop on Logic, AI and Law
Sep 11, 2023 - Sep 12, 2023 Hybrid mode, Hangzhou, China Jun 10, 2023
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
first | previous | Page 1 | next | last Total of 335 CFPs in 17 pages