[TYPES/announce] Summer School on Concurrency TiC'08

Jan Vitek jv at cs.purdue.edu
Tue Dec 11 00:44:13 EST 2007



            The Second International Summer School on
                      Trends in Concurrency
                           TiC 2008

                    Prague, Czech Republic
                       June 22-27, 2008

   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 speakers include the following researchers.

      - Byron Cook, Microsoft Research
      - Neal Glew, intel Research
      - Jan-willem Maessen, Sun Laboratories.
      - Martin Odersky, EPFL.
      - Vivek Sarkar, Rice University.
      - Peter Sewell, Cambridge University.

   Additional information is available from:

       http://www.cs.purdue.edu/homes/jv/events/TiC08





More information about the Types-announce mailing list