Template:Main/Events
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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 |