[TYPES/announce] Third Summer School on Trends in Concurrency
Jan Vitek
jv at cs.purdue.edu
Mon Feb 8 18:31:17 EST 2010
******************************************************************
*** TiC'10 ***
*** Third International Summer School on Trends in Concurrency ***
*** IIT-Bangalore, India ***
*** May 23 - 30, 2010 ***
******************************************************************
email: tic10 at cs.purdue.edu
Web: http://web.me.com/vitekj/TIC10
Speakers:
* Madan Musuvavthi, Microsoft Research.
* Mark Moir, Sun Microsystems
* G. Ramalingam, Microsoft Research
* Vijay Saraswat, IBM Research
* Peter Sewell, Cambridge University.
* Satnam Singh, Microsoft Research.
* Matthew Parkinson, Cambridge University
* Jean Pierre Talpin, INRIA
* Adam Welc, Intel Research.
Topics:
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 focus this year is on programming language design, program
analysis, specification, and implementation as they relate to
concurrent and real-time 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 a Ph.D in the topic areas being covered.
A small number of travel grants will be available.
Sponsors:
* Microsoft Research
* Infosys
* National Science Foundation
Organizers:
* Suresh Jagannathan
* Ananth Gramma
* Jan Vitek
More information about the Types-announce
mailing list