Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Herlihy, Milner, Hoare, O'Hearn etc.: LASER su...


view this post on Zulip Email Gateway (Aug 18 2022 at 11:57):

From: Martin Nordio <martin.nordio@inf.ethz.ch>
LASER Summer School on Software Engineering

Concurrency and Correctness
September 7 - 13, 2008
Elba Island, Italy

Registration is open until June 30th

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

http://se.ethz.ch/laser

Goals


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:

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.
Registration is open until June 30th. 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@se.inf.ethz.ch.

Venue


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.

Best regards,

Martin Nordio

--
Department of Computer Science, ETH Zurich, Switzerland
http://se.inf.ethz.ch/people/nordio/, phone: +41 1 63 20297
--

view this post on Zulip Email Gateway (Aug 18 2022 at 12:05):

From: Martin Nordio <martin.nordio@inf.ethz.ch>
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

http://se.ethz.ch/laser

Goals
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:

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@se.inf.ethz.ch.

Venue

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.

Best regards,

Martin Nordio

--
Department of Computer Science, ETH Zurich, Switzerland
http://se.inf.ethz.ch/people/nordio/, phone: +41 44 63 20297
--


Last updated: May 03 2024 at 08:18 UTC