Third 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 third of a series; the first was held in Bertinoro, Italy in 2006, the second TIC was held in Prague, Czech Republic in 2008.  The school is intended to foster in-depth discussion between instructors and students, and to encourage wide-ranging discussions. The focus this year is on programming language design, program analysis, specification, and implementation as they relate to concurrent and real-time systems. Topics: Programming languages and models for concurrent and real-time computing; Transactional abstractions for concurrent, real-time and distributed computing; Formal models of concurrency and real-time; 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.

A wiki with more information is at here


IIIT-Bangalore, India

May 23 - 30, 2010

Sponsored by