[Agda] Oregon Programming Languages Summer School, 2014
Amal Ahmed
amal at ccs.neu.edu
Mon Feb 10 03:11:28 CET 2014
We are pleased to announce the preliminary program for the 13th annual
Oregon Programming Languages Summer School (OPLSS) to be held June 16th
to 28th, 2014 at the University of Oregon in Eugene. The registration
deadline will be April 14th, 2014.
This year's program is titled Types, Logic, Semantics, and Verification
and features the following speakers:
Andrew Appel -- Software Verification
Princeton University
Lars Birkedal -- Category Theory
Aarhus University
Derek Dreyer -- Modular Reasoning about Stateful Programs
Max Planck Institute for Software Systems
Robert Harper -- Type Theory Foundations
Carnegie Mellon University
Greg Morrisett -- Certified Programming and State
Harvard University
Ulf Norell -- Programming in Agda
Chalmers University of Technology
Brigitte Pientka -- Proof Theory Foundations
McGill University
Stephanie Weirich -- Designing Dependently-Typed Programming Languages
University of Pennsylvania
Steve Zdancewic -- Software Foundations in Coq
University of Pennsylvania
Full information on registration and scholarships will be available shortly at:
http://www.cs.uoregon.edu/Activities/summerschool/summer14/
.
Amal Ahmed
Greg Morrisett
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140209/646142a4/attachment.html
More information about the Agda
mailing list