| Event | When | Where | Deadline | |
| LOPSTER 2010 |
20th International Symposium on Logic-Based Program Synthesis and Transformation | |
| Jul 23, 2010 - Jul 25, 2010 |
Hagenberg, Austria |
Mar 25, 2010 |
| ICFP 2010 |
The 15th ACM SIGPLAN International Conference on Functional Programming | |
| Sep 27, 2010 - Sep 29, 2010 |
Baltimore, MD, USA |
Apr 2, 2010 |
| CHR 2010 |
Seventh International Workshop on Constraint Handling Rules | |
| Jul 20, 2010 - Jul 20, 2010 |
Edinburgh, Scotland |
Apr 5, 2010 |
| TFP 2010 |
11th Symposium on Trends in Functional Programming | |
| May 17, 2010 - May 19, 2010 |
Norman, OK, USA |
Apr 9, 2010 |
| VERIFY 2010 |
6th International Verification Workshop | |
| Jul 20, 2010 - Jul 21, 2010 |
Edinburgh, UK |
Apr 11, 2010 (Apr 7, 2010) |
| EST 2010 |
Emerging Security Technologies | |
| Sep 6, 2010 - Sep 7, 2010 |
Canterbury, UK |
Apr 23, 2010 |
| 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 |
| TwUC 2010 |
Trustworthy Ubiquitous Computing 2010 | |
| Nov 8, 2010 - Nov 10, 2010 |
Paris, France |
Jul 31, 2010 |
|
