[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