Template:Main/Events
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Events
Verification, Model Checking and Abstract Interpretation | Savannah/USA | Jan 18-20, 2009 |
Twelf Tutorial | Savannah/USA | Jan 19, 2009 |
Declarative Aspects of Multicore Programming | Savannah/USA | Jan 20, 2009 |
Practical Applications of Declarative Languages | Savannah/USA | Jan 19-20, 2009 |
Programming Languages meets Program Verification | Savannah/USA | Jan 20, 2009 |
POPL | Savannah/USA | Jan 21-23, 2009 |
Types in Language Design and Implementation | Savannah/USA | Jan 24, 2009 |
Tokyo Society for the Application of Currying | Tokyo/Japan | Jan 29, 2009 |
ICFP 2009 and Associated Events | Edinburgh/UK | Aug 31-Sep 2, 2009 |