Oregon Programming Languages Summer School 2016

Oregon Programming Languages Summer School 2016

[Dan Licata]

If you or your students are interested in learning more about applications of category theory to programming languages, this summer school might be of interest.  This year we will have a basic introduction to categorical semantics of programming languages, and two more advanced courses that consider two programming languages ideas, logical relations and type refinement, from a categorical perspective.

-Dan

--- 

Oregon Programming Languages Summer School
June 20-July 2, 2016
Eugene, Oregon

There are still spaces available at the 15th Annual Oregon Programming
Languages Summer School (OPLSS).

Please encourage your PhD students, masters students, advanced
undergraduates, colleagues, and selves to attend! 

This year’s program is titled Types, Logic, Semantics, and Verification and features the following courses:

* Programming Languages Background — Robert Harper, Carnegie Mellon University and Dan Licata, Wesleyan University
* Category Theory Background — Ed Morehouse, Carnegie Mellon University
* Logical Relations — Patricia Johann, Appalachian State University
* Network Programming — Nate Foster, Cornell University
* Automated Complexity Analysis — Jan Hoffman, Carnegie Mellon University
* Separation Logic and Concurrency — Aleks Nanevski, Northeastern University
* Principles of Type Refinement — Noam Zeilberger, INRIA
* Logical relations/Compiler verification — Amal Ahmed, Northeastern University

Full information on the courses and registration and scholarships is
available at https://www.cs.uoregon.edu/research/summerschool/.

For more information, please email summerschool@cs.uoregon.edu.

Robert Harper
Dan Licata
Zena Ariola



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]