Difference between revisions of "Template:Main/Events"

From HaskellWiki
Jump to: navigation, search
m
Line 18: Line 18:
 
| Jan 20, 2009
 
| Jan 20, 2009
 
|-
 
|-
| [http://cs.utdallas.edu/padl09 Practical Applications of Declarative Languages]
+
| [http://cs.utdallas.edu/padl09/ Practical Applications of Declarative Languages]
 
| Savannah/USA
 
| Savannah/USA
 
| Jan 19-20, 2009
 
| Jan 19-20, 2009

Revision as of 16:24, 17 November 2008

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