TY - JOUR
T1 - An overview of the oregon programming languages summer school
AU - Allen, Jim
AU - Ariola, Zena
AU - Curien, Pierre Louis
AU - Fluet, Matthew
AU - Foster, Jeff
AU - Grossman, Dan
AU - Harper, Robert
AU - Herbelin, Hugo
AU - Smaragdakis, Yannis
AU - Walker, David
AU - Zdancewic, Steve
PY - 2009/11
Y1 - 2009/11
N2 - The Oregon Programming Languages Summer School (OPLSS) will be held at the University of Oregon from June 15-June 25, 2010 titled 'Logics, Languages, Compilation, and Verification. It is aimed at providing students and instructors a unique opportunity to study relevant background and results in the field of programming languages research. The course will consist of foundational lectures on proof theory and type theory and a series of lectures on the use of theorem provers for mechanized proof. It also will cover a series of lectures on the application of mechanized reasoning to compiler certification, program verification, and integrating types and verification. The OPLSS covers a total of 4 80-minute lectures given by different leading researchers in the field. Other activities include panel discussions and a one-day excursion, such as a hike. The summer school is primarily aimed at graduate students but typically have a small number of other participants including faculty, post-docs, advanced undergraduates, and industrial researchers.
AB - The Oregon Programming Languages Summer School (OPLSS) will be held at the University of Oregon from June 15-June 25, 2010 titled 'Logics, Languages, Compilation, and Verification. It is aimed at providing students and instructors a unique opportunity to study relevant background and results in the field of programming languages research. The course will consist of foundational lectures on proof theory and type theory and a series of lectures on the use of theorem provers for mechanized proof. It also will cover a series of lectures on the application of mechanized reasoning to compiler certification, program verification, and integrating types and verification. The OPLSS covers a total of 4 80-minute lectures given by different leading researchers in the field. Other activities include panel discussions and a one-day excursion, such as a hike. The summer school is primarily aimed at graduate students but typically have a small number of other participants including faculty, post-docs, advanced undergraduates, and industrial researchers.
UR - http://www.scopus.com/inward/record.url?scp=79959886449&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79959886449&partnerID=8YFLogxK
U2 - 10.1145/1816027.1816029
DO - 10.1145/1816027.1816029
M3 - Review article
AN - SCOPUS:79959886449
SN - 1523-2867
VL - 44
SP - 1
EP - 3
JO - ACM SIGPLAN Notices
JF - ACM SIGPLAN Notices
IS - 11
ER -