Difference between revisions of "Template:Main/Events"

From HaskellWiki
Jump to: navigation, search
m
Line 5: Line 5:
 
!
 
!
 
!
 
!
  +
|-
  +
| [http://www.win.tue.nl/~japie/FP-dag-2009 Dutch Functional Programming Day]
  +
| Eindhoven, The Netherlands
  +
| Jan 9, 2009
 
|-
 
|-
 
| [http://cs.uni-muenster.de/vmcai09/index.php Verification, Model Checking and Abstract Interpretation]
 
| [http://cs.uni-muenster.de/vmcai09/index.php Verification, Model Checking and Abstract Interpretation]

Revision as of 16:26, 10 December 2008

Events

Dutch Functional Programming Day Eindhoven, The Netherlands Jan 9, 2009
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