| Event | When | Where | Deadline | | | Expired CFPs |
| CADE 2015 |
25th International Conference on Automated Deduction | |
| Aug 3, 2015 - Aug 7, 2015 |
Berlin, Germany |
Feb 23, 2015 (Feb 16, 2015) |
| VERIFY 2010 |
6th International Verification Workshop | |
| Jul 20, 2010 - Jul 21, 2010 |
Edinburgh, UK |
Apr 11, 2010 (Apr 7, 2010) |
|
