OPLSS 2023: Summer School Dates

Stephanie Weirich <[email protected]> Tue, 7 Mar 2023 10:54:06 -0500

Newsgroups	gmane.lisp.scheme.chicken,gmane.comp.lang.agda,gmane.comp.lang.caml.inria,gmane.science.mathematics.categories,gmane.comp.science.concurrency,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.erlang.general,gmane.lisp.scheme.gambit,gmane.comp.lang.haskell.general,gmane.comp.lang.haskell.cafe,gmane.comp.lang.mozart.user,gmane.lisp.scheme.plt
Message-ID	<CAJ+ut6oXXMUjGjp=cK7DKrrOOPOE7g4EA9u_u1HRbYi9XM=51w@mail.gmail.com>

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]

oplss.png (image/png, 18.5 KB) - not displayed