Difference between revisions of "Template:Main/Events"

From HaskellWiki
Jump to navigation Jump to search
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