| Event | When | Where | Deadline | | | Expired CFPs |
| TYPES 2014 |
Types for Proofs and Programs | |
| May 12, 2014 - May 15, 2014 |
Paris, France |
Feb 28, 2014 (Feb 21, 2014) |
| Logica 2014 |
Logica 2014 | |
| Jun 16, 2014 - Jun 20, 2014 |
Hejnice, Czech Republic |
Feb 15, 2014 |
| IJCAR 2014 |
International Joint Conference on Automated Reasoning (IJCAR) | |
| Jul 19, 2014 - Jul 22, 2014 |
Vienna, Austria |
Jan 22, 2014 (Jan 15, 2014) |
| SR 2014 |
Second International Workshop on Strategic Reasoning | |
| Apr 5, 2014 - Apr 6, 2014 |
Grenoble, France |
Dec 30, 2013 (Dec 27, 2013) |
| The absolute idea 2013 |
Workshop The Logic of Hegel’s Science of Logic III. The Absolute Idea. November 4-5, 2013 | |
| Nov 4, 2013 - Nov 5, 2013 |
Padua University. Philosophy Department |
Sep 30, 2013 |
| DWAI 2013 |
Doctoral Workshop on Artificial Intelligence | |
| Dec 5, 2013 - Dec 5, 2013 |
Turin, Italy |
Sep 29, 2013 |
| AC 2013 |
19th Amsterdam Colloquium | |
| Dec 18, 2013 - Dec 20, 2013 |
Amsterdam, Netherlands |
Sep 1, 2013 |
| MICAI 2013 |
Mexican International Conference on Artificial Intelligence | |
| Nov 24, 2013 - Nov 30, 2013 |
Mexico City |
Aug 1, 2013 (Jul 25, 2013) |
| RP 2013 |
The 7th International Workshop on Reachability Problems | |
| Sep 25, 2013 - Sep 27, 2013 |
Uppsala, Sweden |
Jun 10, 2013 |
| WLPE 2013 |
23rd Workshop on Logic-based methods in Programming Environments | |
| Aug 24, 2013 - Aug 25, 2013 |
Istanbul (Turkey) |
Jun 3, 2013 |
| DCM 2013 |
9th International Workshop on Developments in Computational Models | |
| Aug 26, 2013 - Aug 26, 2013 |
Buenos Aires |
Jun 1, 2013 |
| LSFA 2013 |
Logical and Semantic Frameworks with Applications | |
| Sep 2, 2013 - Sep 3, 2013 |
Sao Paulo |
May 26, 2013 |
| GandALF 2013 |
4th International Symposium on Games, Automata, Logics, and Formal Verification | |
| Aug 29, 2013 - Aug 31, 2013 |
Borca di Cadore |
May 19, 2013 (May 13, 2013) |
| 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) |
|
