| Event | When | Where | Deadline | | | Expired CFPs |
| NAT@Logic 2015 |
NAT@Logic 2015 - Logic AT Natal | |
| Aug 31, 2015 - Sep 4, 2015 |
Natal, Brazil |
Apr 12, 2015 |
| CSL 2015 |
COMPUTER SCIENCE LOGIC | |
| Sep 7, 2015 - Sep 10, 2015 |
Berlin |
Apr 10, 2015 (Apr 3, 2015) |
| RuleML 2015 |
The 9th International Web Rule Symposium (RuleML) | |
| Aug 3, 2015 - Aug 5, 2015 |
Berlin, Germany |
Mar 4, 2015 (Feb 25, 2015) |
| CADE 2015 |
25th International Conference on Automated Deduction | |
| Aug 3, 2015 - Aug 7, 2015 |
Berlin, Germany |
Feb 23, 2015 (Feb 16, 2015) |
| ICALP 2015 |
42nd International Colloquium on Automata, Languages, and Programming | |
| Jul 6, 2015 - Jul 10, 2015 |
Kyoto, Japan |
Feb 17, 2015 |
| Logica 2015 |
Logica 2015 | |
| Jun 15, 2015 - Jun 19, 2015 |
Hejnice, Czech Republic |
Feb 15, 2015 |
| TTL 2015 |
4th International Conference on Tools for Teaching Logic | |
| Jun 9, 2015 - Jun 12, 2015 |
Rennes, France |
Feb 13, 2015 |
| ARCOE-Logic 2014 |
Acquisition, Representation and Reasoning about Context with Logic, the 6th International Workshop | |
| Nov 24, 2014 - Nov 25, 2014 |
Linköping, Sweden |
Sep 29, 2014 (Sep 22, 2014) |
| MaxEnt 2014 |
Special Issue on Maximum Entropy applied to inductive logic and reasoning | |
| N/A |
N/A |
Sep 15, 2014 (Mar 31, 2014) |
| RP 2014 |
The 8th International Workshop on Reachability Problems | |
| Sep 22, 2014 - Sep 24, 2014 |
Oxford, UK |
Jun 11, 2014 |
| LAP 2014 |
Logic and Applications 2014 | |
| Sep 22, 2014 - Sep 26, 2014 |
Dubrovnik, Croatia |
Jun 2, 2014 |
| LSFA 2014 |
Logical and Semantic Frameworks with Applications | |
| Sep 8, 2014 - Sep 9, 2014 |
Brasilia D.F., Brazil |
May 25, 2014 |
| 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 |
|
