Difference between revisions of "Template:Main/Events"
Jump to navigation
Jump to search
Line 53: | Line 53: | ||
| South Orange/USA |
| South Orange/USA |
||
| Sep 23-25, 2009 |
| Sep 23-25, 2009 |
||
+ | |- |
||
+ | | [http://hope.cs.rice.edu/twiki/bin/view/GPCE09/WebHome Generative Programming and Component Engineering (GPCE)] |
||
+ | | Denver/USA |
||
+ | | Oct 4-5, 2009 |
||
|- |
|- |
||
|}</center> |
|}</center> |
Revision as of 23:52, 16 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 |
Tokyo Society for the Application of Currying | Tokyo/Japan | Jan 29, 2009 |
Central European Functional Programming School (CEFP) | Komarno/Slovakia | May 25-30, 2009 |
Trends in Functional Programming (TFP) | Komarno/Slovakia | Jun 2-4, 2009 |
ICFP 2009 and Associated Events | Edinburgh/UK | Aug 31-Sep 2, 2009 |
Implementation and Application of Functional Programming (IFL) | South Orange/USA | Sep 23-25, 2009 |
Generative Programming and Component Engineering (GPCE) | Denver/USA | Oct 4-5, 2009 |