From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8864 Path: news.gmane.org!not-for-mail From: Dan Licata Newsgroups: gmane.science.mathematics.categories Subject: Oregon Programming Languages Summer School 2016 Date: Wed, 30 Mar 2016 17:21:38 -0400 Message-ID: Reply-To: Dan Licata NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1459427748 2741 80.91.229.3 (31 Mar 2016 12:35:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 31 Mar 2016 12:35:48 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Mar 31 14:35:39 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1albp5-0001Ih-3A for gsmc-categories@m.gmane.org; Thu, 31 Mar 2016 14:35:39 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:49160) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1alboG-0001hR-Or; Thu, 31 Mar 2016 09:34:48 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1albo7-00053C-8H for categories-list@mlist.mta.ca; Thu, 31 Mar 2016 09:34:39 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8864 Archived-At: 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 ---=20 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!=20 This year=92s program is titled Types, Logic, Semantics, and = Verification and features the following courses: * Programming Languages Background =97 Robert Harper, Carnegie Mellon = University and Dan Licata, Wesleyan University * Category Theory Background =97 Ed Morehouse, Carnegie Mellon = University * Logical Relations =97 Patricia Johann, Appalachian State University * Network Programming =97 Nate Foster, Cornell University * Automated Complexity Analysis =97 Jan Hoffman, Carnegie Mellon = University * Separation Logic and Concurrency =97 Aleks Nanevski, Northeastern = University * Principles of Type Refinement =97 Noam Zeilberger, INRIA * Logical relations/Compiler verification =97 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/ ]