| Event | When | Where | Deadline | |
| CADE 2015 |
25th International Conference on Automated Deduction | |
| Aug 3, 2015 - Aug 7, 2015 |
Berlin, Germany |
Feb 23, 2015 (Feb 16, 2015) |
| FroCoS 2015 |
10th International Symposium on Frontiers of Combining Systems | |
| Sep 21, 2015 - Sep 24, 2015 |
Wroclaw, Poland |
Apr 19, 2015 (Apr 10, 2015) |
|
