Difference between revisions of "Template:Main/Events"
Jump to navigation
Jump to search
m |
DonStewart (talk | contribs) |
||
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:// |
+ | | [http://twelf.plparty.org/wiki/POPL_Tutorial Twelf Tutorial] |
− | | |
+ | | 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> |
|}</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 |