Template:Main/Events

From HaskellWiki
Revision as of 16:24, 17 November 2008 by Henk-Jan van Tuyl (talk | contribs)

Jump to: navigation, search

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