| Event | When | Where | Deadline | | | Expired CFPs |
| TYPES 2013 |
Types for Proofs and Programs | |
| Apr 23, 2013 - Apr 26, 2013 |
Toulouse, France |
Feb 25, 2013 |
| Commonsense 2013 |
International Symposium on Logical Formalizations of Commonsense Reasoning | |
| May 27, 2013 - May 29, 2013 |
Cyprus |
Feb 17, 2013 |
| EATCS 2013 |
Annual Meeting of the European Association for Theoretical Computer Science | |
| Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
| ICALP 2013 |
40th International Colloquium on Automata, Languages and Programming | |
| Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
| Logica 2013 |
Logica 2013 | |
| Jun 17, 2013 - Jun 21, 2013 |
Hejnice, Czech Republic |
Feb 14, 2013 |
| EASSS 2013 |
15th European Agent Systems Summer School (call for tutorials) | |
| Jul 1, 2013 - Jul 5, 2013 |
King's College, London, UK |
Feb 10, 2013 |
| SR 2013 |
First International Workshop on Strategic Reasoning | |
| Mar 16, 2013 - Mar 17, 2013 |
Rome |
Dec 27, 2012 (Dec 21, 2012) |
| ISMVL 2013 |
IEEE 43rd International Symposium on Multiple-Valued Logic | |
| May 22, 2013 - May 24, 2013 |
Toyama, Japan |
Nov 1, 2012 |
| WLP 2012 |
26th Workshop on Logic Programming | |
| Sep 24, 2012 - Sep 26, 2012 |
Bonn, Germany |
Aug 5, 2012 |
| GAMES 2012 |
Annual Workshop of the ESF Networking Programme on Games for Design and Verification | |
| Sep 7, 2012 - Sep 12, 2012 |
Napoli, Italy |
Jun 27, 2012 |
| TURING 2012 |
Turing Centenary Meeting, ENS de Lyon, France | |
| Jul 2, 2012 - Jul 4, 2012 |
Lyon |
Jun 1, 2012 |
| JELIA 2012 |
13th European Conference on Logics in Artificial Intelligence | |
| Sep 26, 2012 - Sep 28, 2012 |
Toulouse, France |
May 23, 2012 (May 18, 2012) |
| GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 2012) |
| EASLLC 2012 |
East-Asian School on Logic, Language, and Computation | |
| Aug 27, 2012 - Aug 31, 2012 |
Chongqing, China |
May 15, 2012 |
| ILP 2012 |
22nd International Conference on Inductive Logic Programming | |
| Sep 17, 2012 - Sep 19, 2012 |
Dubrovnik |
May 11, 2012 (May 7, 2012) |
| TIME 2012 |
19th International Symposium on Temporal Representation and Reasoning | |
| Sep 12, 2012 - Sep 14, 2012 |
Leicester, UK |
Apr 20, 2012 (Apr 16, 2012) |
| LAM 2012 |
5th International Workshop on LOGICS, AGENTS, and MOBILITY | |
| Jun 25, 2012 - Jun 26, 2012 |
Hamburg, Germany |
Apr 15, 2012 |
| CNL 2012 |
Third Workshop on Controlled Natural Language | |
| Aug 29, 2012 - Aug 31, 2012 |
Zurich, Switzerland |
Apr 13, 2012 |
| ICLP 2012 |
28th International Conference on Logic Programming | |
| Sep 4, 2012 - Sep 8, 2012 |
Budapest, Hungary |
Mar 18, 2012 (Mar 11, 2012) |
| CILC 2012 |
9th Italian Convention on Computational Logic | |
| Jun 6, 2012 - Jun 7, 2012 |
Rome, Italy |
Mar 16, 2012 |
|
