Template:Main/Events
Revision as of 11:41, 11 January 2009 by TomLokhorst (talk | contribs)
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 |