Difference between revisions of "Template:Main/Events"

From HaskellWiki
Jump to: navigation, search
m
Line 6: Line 6:
 
!
 
!
 
|-
 
|-
| [http://www.starling-software.com/en/tsac.html Tokyo Society for the Application of Currying]
 
  +
| [http://cs.uni-muenster.de/vmcai09/index.php Verification, Model Checking and Abstract Interpretation]
| Tokyo/Japan
 
  +
| Savannah/USA
| August 28
 
  +
| Jan 18-20, 2009
 
|-
 
|-
| [http://events.sac-home.org/ifl2008/ IFL]
+
| [http://twelf.plparty.org/wiki/POPL_Tutorial Twelf Tutorial]
| Hatfield/UK
+
| Savannah/USA
| September 10-12
+
| Jan 19, 2009
 
|-
 
|-
| [http://www.haskell.org/haskell-symposium/ Haskell Symposium]
 
  +
| [http://www.cse.unsw.edu.au/~pls/damp09/ Declarative Aspects of Multicore Programming]
| Victoria/Canada
 
  +
| Savannah/USA
| September 25
 
  +
| Jan 20, 2009
 
|-
 
|-
| [http://www.deinprogramm.de/defun-2008/ DEFUN Developer Workshop]
 
  +
| [http://cs.utdallas.edu/padl09 Practical Applications of Declarative Languages]
| Victoria/Canada
 
  +
| Savannah/USA
| September 25,27
 
  +
| Jan 19-20, 2009
 
|-
 
|-
| [http://groups.google.com/group/pdxfunc/browse_thread/thread/ad1e5c7575b577b2 Commercial Users of Functional Programming]
 
  +
| [http://sneezy.cs.nott.ac.uk/darcs/plpv09/ Programming Languages meets Program Verification]
| Victoria/Canada
 
  +
| Savannah/USA
| September 26
 
  +
| 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
 
|-
 
|-
 
|}</center>
 
|}</center>

Revision as of 17:52, 1 October 2008

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