Second International School on Trends in Concurrency


Concurrency is a pervasive and essential characteristic of modern computer systems. Whether it is the design of new hyper-threading techniques in computer architectures, specification of non-blocking data structures and algorithms, implementation of scalable computer farms for handling massive data sets, or the design of a robust software architecture for distributed business processes, a deep understanding of mechanisms and foundations for expressing and controlling concurrency is required.  Recent architectural advances in multi-core and many-core architectures have made this an essential topic for any serious student of computer science.

This summer school will bring together outstanding researchers from academia and industry to discuss current research and future trends in concurrent systems design and implementation.  All instructors have had significant impact in the area of concurrency, and play an active role in substantial ongoing research and commercial efforts.

The goal of this school is to expose graduate students and young researchers to new and important ideas in concurrent programming.  The school is the second of a series; the first was held in Bertinoro, Italy in 2006.  The school is intended to foster in-depth discussion between instructors and students, and to encourage wide-ranging discussions.  Laboratory sessions are planned, student presentations will be encouraged. The focus this year is on programming language design, program analysis, specification, and implementation as they relate to concurrent systems. Topics: Programming languages and models for concurrent and parallel computing; Transactional abstractions for concurrent and distributed computing; Formal models of concurrency; Compilation and runtime techniques for multicore systems.

To encourage free discussion, attendance will be limited to 40 participants.  Admission will be competitive, and preference will be given to students actively pursuing (or who have recently completed) a Ph.D in the topic areas being covered.

The meeting is organized in collaboration with the Distributed Systems Group at the Charles University, and will include an invited lecture by Profs. Frantisek Plasil and Petr Hnetynka on the SOFA 2.0 component model.

Prague, Czech Republic

June 22 - 27

Sponsored by