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