| Event | When | Where | Deadline | | | Expired CFPs |
| VERY* 2015 |
The 2nd Workshop on formal verification for self-* systems | |
| Sep 7, 2015 - Sep 8, 2015 |
York - United Kingdom |
May 18, 2015 (May 4, 2015) |
| TTCS 2015 |
Topics in Theoretical Computer Science | |
| Aug 26, 2015 - Aug 28, 2015 |
Tehran |
May 15, 2015 |
| FCT 2015 |
20th International Symposium on Fundamentals of Computation Theory | |
| Aug 17, 2015 - Aug 19, 2015 |
Gdańsk, Poland |
Apr 25, 2015 |
| LQMR 2015 |
1st Workshop on Logics for Qualitative Modelling and Reasoning | |
| Sep 13, 2015 - Sep 16, 2015 |
Łódź, Poland |
Apr 24, 2015 |
| CONCUR 2015 |
26th International Conference on Concurrency Theory | |
| Sep 1, 2015 - Sep 4, 2015 |
Madrid, Spain |
Apr 20, 2015 (Apr 13, 2015) |
| 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 |
|
