We are pleased to announce the preliminary program for the 14th annual Oregon Programming Languages Summer School (OPLSS) to be held June 15th to 27th, 2015 at the University of Oregon in Eugene. This year's program is titled Types, Logic, Semantics, and Verification and features the following speakers: Ahmal Ahmed Northeastern University Nick Benton Microsoft Cambridge Research Lab Adam Chlipala Massachusetts Institute of Technology Robert Constable Cornell University Peter Dybjer Chalmers University of Technology Robert Harper Carnegie Mellon University Ed Morehouse Carnegie Mellon University Greg Morrisett Harvard University Frank Pfenning Carnegie Mellon University The registration deadline is March 16, 2015. Full information on registration and scholarships will be available shortly at: https://www.cs.uoregon.edu/research/summerschool/ <https://www.cs.uoregon.edu/research/summerschool/> Please address all inquiries to summerschool@cs.uoregon.edu <mailto:summerschool@cs.uoregon.edu>. Best regards from the OPLSS 2015 organizers, Robert Harper Greg Morrisett Zena Ariola [For admin and other information see: http://www.mta.ca/~cat-dist/ ]