[TYPES] summer school on concurrency

[jv@cs.purdue.edu]

Some of the talks may be of interest to readers of the types mailings.

-----

Speakers:  Herlihy, Jagannathan, Qadeer, Lea, Sangiorgi, 
           Saraswat, Sewell, Trystram, Yoshida.
Dates:     July 24-29, 2006 
Location:  Bertinoro, Italy
WWW:       http://www.cs.purdue.edu/homes/jv/events/TiC06



                        Call for Participation

                  First International Summer School on 
                     Emerging Trends in Concurrency       
                               TiC'06

                   Bertinoro, Italy, July 24-29, 2006 


Concurrency is a pervasive and essential characteristic of modern computer
systems.  Whether it  is the  design of  new hyperthreading  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.

The  goal  of  the  school  is  to  expose  graduate  students  and  young
researchers  to  new  ideas  in  concurrent programming  from  experts  in
academia  and  industry. The  school  provides  a  unique opportunity  for
students  to  have  engaging  discussions on  cutting-edge  research  with
instructors  in a  focused environment.  The  school covers  one week  and
alternates  monograph  courses of  4/6  hours  and  short courses  of  2/3
hours. We  also encourage presentations  by participants to  discuss their
current  research,   and  to  receive  feedback  from   the  audience  and
instructors.

Speakers:

  * Maurice Herlihy  (Brown)
  * Suresh Jagannathan (Purdue)
  * Shaz Qadeer  (Microsoft Research)
  * Doug Lea  (SUNY Oswego)
  * Davide Sangiorgi (University of Bologna)
  * Vijay Saraswat (IBM Research)
  * Peter Sewell (Cambridge)
  * Denis Trystram (IMAG)
  * Nobuko Yoshida  (Imperial College)

Venue:

The school  is organised at  the Centro Residenziale Universitario  of the
University of Bologna, situated in  Bertinoro, a small village on a scenic
hill  with a wonderful  panorama, in  between Forli  and Cesena  (about 50
miles south-east of Bologna, 15 miles to the Adriatic sea).

Organizers:

Nadia Busi (University of Bologna), Ananth Grama (Purdue), 
Suresh Jagannathan (Purdue), Davide Sangiorgi (University of Bologna),
Jan Vitek (Purdue)

Registration:

Information about registration is available from the school's web page
(http://www.cs.purdue.edu/homes/jv/events/TiC06).
A limited number of grants will be  provided to cover the fees for
young  researchers.