| Event | When | Where | Deadline | |
| PLMMS 2008 |
Programming Languages for Mechanized Mathematics Systems | |
| Jul 28, 2008 - Jul 29, 2008 |
Birmingham, UK |
May 5, 2008 |
| CEDAR 2008 |
Complexity, Expressibility, and Decidability in Automated Reasoning | |
| Aug 10, 2008 - Aug 15, 2008 |
Sydney, Australia |
May 19, 2008 |
|
