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) |
|