| Event | When | Where | Deadline | |
| ACM SAC - CSP-KR 2015 |
ACM SAC - Special track on Constraint Solving and Programming and Knowledge Representation and Reasoning | |
| Apr 13, 2015 - Apr 17, 2015 |
Salamanca, Spain |
Sep 12, 2014 |
| CPAIOR 2015 |
Integration of AI and OR Techniques in Constraint Programming | |
| May 18, 2015 - May 22, 2015 |
Barcelona, Spain |
Nov 21, 2014 (Nov 14, 2014) |
| TTL 2015 |
4th International Conference on Tools for Teaching Logic | |
| Jun 9, 2015 - Jun 12, 2015 |
Rennes, France |
Jan 30, 2015 |
| CADE 2015 |
25th International Conference on Automated Deduction | |
| Aug 3, 2015 - Aug 7, 2015 |
Berlin, Germany |
Feb 23, 2015 (Feb 16, 2015) |
|
