[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] Herlihy, Milner, Hoare, O'Hearn etc.: LASER summer school
LASER Summer School on Software Engineering
Concurrency and Correctness
September 7 - 13, 2008
Elba Island, Italy
REGISTRATION OPEN UNTIL JULY 15th
The LASER summer school this year (7-13 September 2008), held in a magnificent setting on Elba Island, is devoted to concurrency, with a particularly exciting slate of speakers: Tryggve Fossum (Intel), Maurice Herlihy, Tony Hoare (as guest lecturer), Robin Milner, Peter O'Hearn, Daniel Reed. Please see the details at
The LASER school is intended both for researchers (including PhD students) and for professional software engineers and managers who want to benefit from the best in software
technology advances. The focus of LASER is resolutely practical, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction
between participants and speakers.
Topics and speakers
The IT industry, and with it the software research community, are at a crossroads: the end of Moore's law as we know it. The only way to continue delivering needed advances
in computational power is to rely on concurrent techniques, such as multicore architectures. But while extensive research has been conducted on concurrent programming
for decades, it remains extremely hard to guarantee the correctness of realistic concurrent computations. The 2008 LASER summer school examines issues and solutions in depth.
The speakers are among the most respected experts in the field:
* Tryggve Fossum, Director of Microarchitecture Development at Intel
* Maurice Herlihy, Brown University
* Robin Milner, Cambridge University
* Peter O'Hearn, Queen Mary University of London
* Daniel A. Reed, Microsoft Research and UNC Chapel Hill
with Tony Hoare for a special guest lecture.
How to apply?
Use the on-line registration form available on the LASER website http://laser.inf.ethz.ch.
The number of participants is strictly limited to ensure quality interaction with the lecturers and the rest of
the audience. For more information, visit our website or contact the organizers at laser@xxxxxxxxxxxxxxx
As in previous years, LASER is held in the magnificent setting of the Elba island off the coast of Tuscany, easily reachable by plane (Pisa) and train.
Department of Computer Science, ETH Zurich, Switzerland
http://se.inf.ethz.ch/people/nordio/, phone: +41 44 63 20297