Difference between revisions of "Template:Main/Events"
Jump to navigation
Jump to search
DonStewart (talk | contribs) |
|||
Line 5: | Line 5: | ||
! |
! |
||
! |
! |
||
− | |- |
||
− | | [http://cs.uni-muenster.de/vmcai09/index.php Verification, Model Checking and Abstract Interpretation] |
||
− | | Savannah/USA |
||
− | | Jan 18-20, 2009 |
||
− | |- |
||
− | | [http://twelf.plparty.org/wiki/POPL_Tutorial Twelf Tutorial] |
||
− | | Savannah/USA |
||
− | | Jan 19, 2009 |
||
− | |- |
||
− | | [http://www.cse.unsw.edu.au/~pls/damp09/ Declarative Aspects of Multicore Programming] |
||
− | | Savannah/USA |
||
− | | Jan 20, 2009 |
||
− | |- |
||
− | | [http://cs.utdallas.edu/padl09/ Practical Applications of Declarative Languages] |
||
− | | Savannah/USA |
||
− | | Jan 19-20, 2009 |
||
− | |- |
||
− | | [http://sneezy.cs.nott.ac.uk/darcs/plpv09/ Programming Languages meets Program Verification] |
||
− | | Savannah/USA |
||
− | | Jan 20, 2009 |
||
− | |- |
||
− | | [http://www.cs.ucsd.edu/popl/09/ POPL] |
||
− | | Savannah/USA |
||
− | | Jan 21-23, 2009 |
||
− | |- |
||
− | | [http://ttic.uchicago.edu/~amal/tldi2009/ Types in Language Design and Implementation] |
||
− | | Savannah/USA |
||
− | | Jan 24, 2009 |
||
|- |
|- |
||
| [http://www.starling-software.com/en/tsac.html Tokyo Society for the Application of Currying] |
| [http://www.starling-software.com/en/tsac.html Tokyo Society for the Application of Currying] |
Revision as of 19:26, 24 January 2009
Events
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 |