[TYPES/announce] OPLSS 2018

2018-05-20 Thread Zena Matilde Ariola
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We had several cancellations due to entry visas being denied. Therefore, we are reopening applications to the Oregon Programming Languages Summer School (OPLSS) to be held from July 9th to

[TYPES/announce] OPLSS 2018

2018-02-13 Thread Zena Matilde Ariola
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are pleased to announce the program for the 17th annual Oregon Programming Languages Summer School (OPLSS) to be held from July 3rd to July 21th, 2018 at the University of Oregon in