| Event | When | Where | Deadline | | | Expired CFPs |
| LSFA 2017 |
12th Workshop on Logical and Semantic Frameworks, with Applications | |
| Sep 23, 2017 - Sep 24, 2017 |
BrasÃlia, Brazil |
Jun 21, 2017 |
| CADE 2011 |
23rd International Conference on Automated Deduction | |
| Jul 31, 2011 - Aug 5, 2011 |
Wroclaw, Poland |
Feb 7, 2011 (Feb 1, 2011) |
|
