| Event | When | Where | Deadline | | | Expired CFPs |
| FWFM 2014 |
2nd workshop on Fun With Formal Methods | |
| Jul 13, 2014 - Jul 13, 2014 |
Vienna, Austria |
May 25, 2014 |
| JELIA 2014 |
14th European Conference on Logics in Artificial Intelligence | |
| Sep 24, 2014 - Sep 26, 2014 |
Madeira Island, Portugal |
May 23, 2014 (May 19, 2014) |
| HCVS 2014 |
Workshop on Horn Clauses for Verification and Synthesis | |
| Jul 17, 2014 - Jul 17, 2014 |
Vienna, Austria |
May 1, 2014 |
| RuleML 2014 |
8th International Web Rule Symposium | |
| Aug 18, 2014 - Aug 20, 2014 |
Prague, Czech Republic |
Apr 22, 2014 (Apr 8, 2014) |
| LINEARITY 2014 |
Third International Workshop on Linearity | |
| Jul 13, 2014 - Jul 13, 2014 |
Vienna, Austria |
Apr 13, 2014 |
| GeTFun 2.0 2014 |
Compositional Meaning in Logic | |
| Jul 22, 2014 - Jul 23, 2014 |
Vienna |
Apr 5, 2014 |
| TYPES 2014 |
Types for Proofs and Programs | |
| May 12, 2014 - May 15, 2014 |
Paris, France |
Feb 28, 2014 (Feb 21, 2014) |
| NMR 2014 |
15th International Workshop on Non-Monotonic Reasoning | |
| Jul 17, 2014 - Jul 19, 2014 |
Vienna, Austria |
Feb 28, 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) |
|
