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