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