The curriculum consists of a 9-day course organized around the following topics:

  • Introduction and Foundational Theory
    This portion of the school will introduce students to the basic principles of concurrent and distributed software design and language support. To place the technical lectures in a broader context and give some practical perspective, students will also hear lectures on the hardware designs that underlie the software systems and how concurrent systems are deployed.
  • Advanced Techniques for Concurrency
    This portion of the school will delve into recent research in the area of language-based approaches to concurrent and distributed software. The lectures will include language design and implementation issues and software tools for analyzing concurrent programs. The intent is to give students sufficient depth in this area to allow them to build on these results in their own future research.
  • Theory, in Practice
    This portion of the school will expose students to applications of the theoretical tools discussed above to real-world systems. For example, students will look at practical approaches to building concurrent software, including the design of new languages as well as lightweight language-based techniques for making it easier to build concurrent software.
  • Panel
    In addition to the lectures, the summer school will include a panel session to provoke interactive discussions on hot topics in language-based approaches to concurrent and distributed systems.


  Contact: summerschool at  
This page is the property of the University of Oregon