Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
CONCUR 2024 International Conference on Concurrency Theory
Sep 9, 2024 - Sep 13, 2024 Calgary, Canada Apr 26, 2024
LANMR 2024(new) The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
Sep 6, 2024 - Sep 7, 2024 Oaxaca, Mexico Jun 1, 2024
Expired CFPs
SAT 2024 The 27th International Conference on Theory and Applications of Satisfiability Testing
Aug 21, 2024 - Aug 24, 2024 Pune, India Mar 15, 2024 (Mar 8, 2024)
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
ESSLLI 2023 European Summer School in Logic, Language and Information
Jul 31, 2023 - Aug 11, 2023 Ljubljana, Slovenia May 31, 2023
KoDis 2023 Workshop on Knowledge Diversity
Sep 2, 2023 - Sep 8, 2023 Rhodes, Greece 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)
first | previous | Page 1 | next | last Total of 340 CFPs in 17 pages