[TYPES/announce] OPLSS 2023: Summer School Dates

[Stephanie Weirich]

We are pleased to announce the dates of the 21st annual Oregon Programming
Languages Summer School (OPLSS) to be held from June 26th to July 8th, 2023
at
the University of Oregon in Eugene. We are looking forward to getting
together
in person!

The theme of the summer school will be "types, semantics, and logic".
More details about the program and the registration process will be
available soon.

OPLSS 2023 Organization Team
Zena Ariola,  Stephanie Balzer, and Stephanie Weirich

[image: oplss.png]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230307/3676771c/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: oplss.png
Type: image/png
Size: 18916 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230307/3676771c/attachment-0001.png>