| Event | When | Where | Deadline | | | Expired CFPs |
| TbiLLC 2013 |
Tenth International Tbilisi Symposium on Language, Logic and Computation | |
| Sep 23, 2013 - Sep 27, 2013 |
Georgia |
May 1, 2013 |
| ILCS 2013 |
Inductive Logic and Confirmation in Science | |
| Oct 17, 2013 - Oct 18, 2013 |
Paris, France |
Apr 30, 2013 |
| MoL 2013 |
13th Meeting on the Mathematics of Language | |
| Aug 9, 2013 - Aug 9, 2013 |
Sofia, Bulgaria |
Apr 26, 2013 |
| WL4AI 2013 |
IJCAI 2013 Workshop on Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth | |
| Aug 3, 2013 - Aug 5, 2013 |
Beijng, China |
Apr 20, 2013 |
| ARSEC 2013 |
Automated Reasoning in Security | |
| Jun 9, 2013 - Jun 9, 2013 |
Lake Placid, New York |
Apr 8, 2013 |
| RR 2013 |
7th International Conference on Web Reasoning and Rule Systems | |
| Jul 27, 2013 - Jul 29, 2013 |
Mannheim, Germany |
Apr 7, 2013 (Apr 3, 2013) |
| WoLLIC 2013 |
20th Workshop on Logic, Language, Information and Computation | |
| Aug 20, 2013 - Aug 23, 2013 |
Darmstadt, Germany |
Mar 29, 2013 (Mar 25, 2013) |
| ICE 2014 |
7th Interaction and Concurrency Experience | |
| Jun 3, 2013 - Jun 6, 2013 |
Berlin |
Mar 15, 2013 (Mar 12, 2013) |
| 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) |
|
