| Event | When | Where | Deadline | | | Expired CFPs |
| Pervasive @ FM 2011 |
Formal Methods for Pervasive Systems | |
| Jun 20, 2011 - Jun 20, 2011 |
Limerick, Ireland |
Mar 20, 2011 |
| COMPUTATION TOOLS 2010 |
The First International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking | |
| Nov 21, 2010 - Nov 26, 2010 |
Lisbon, Portugal |
Jun 20, 2010 |
| PLMMS 2008 |
Programming Languages for Mechanized Mathematics Systems | |
| Jul 28, 2008 - Jul 29, 2008 |
Birmingham, UK |
May 5, 2008 |
|
