Difference between revisions of "Template:Main/Events"

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

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