Template:Main/Events
Jump to navigation
Jump to search
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 |