Difference between revisions of "Template:Main/Events"
Jump to navigation
Jump to search
TomLokhorst (talk | contribs) |
|||
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 11:41, 11 January 2009
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 |