This website is about the 2011 edition of the school. Visit this year's edition of LASER.

8th LASER Summer School on Software Engineering

 

Tools for Practical Software Verification

September 4-10, 2011 - Elba Island, Italy

Edmund Clarke (Carnegie Mellon)
Patrick Cousot (École Normale Supérieure)
Patrice Godefroid (Microsoft Research)
Rustan Leino (Microsoft Research)
Bertrand Meyer (ETH Zurich)
César Muñoz (NASA Langley Research Center)
Christine Paulin-Mohring (Université Paris-Sud)
Andrei Voronkov (University of Manchester)

 
   
 

Visitor information

ELBA ISLAND

Elba, the pearl of the Tuscan Archipelago, the island without frontiers: the sea, the beaches, the green of the countryside, the small fortress towns, archaeological treasures, chestnut woods and more, has existed for what seems like an eternity. Elba is the largest among the Tuscan islands and the third largest island in Italy after Sicily and Sardinia. It is 10 km far from the mainland and it has an area of 224 square kilometres. Its coast stretches for 147 km and its main roads cover totally 190 km. It has a population of about 30000 and it is divided into 8 municipalities. Elba is famous, of course, for Napoleon's stay which altered its history (you can visit Napoleon's San Martino a few minutes away from the school site at Biodola) but by no means summarizes it; throughout the island you find traces of successive civilizations, from the Etruscans to the Romans, the Saracens, the Pisans and the French.

Elba gives the sensation of so much in so little, as in the small spaces of the island we travel over tourist attractions and natural landscapes of such contrast; areas dried out by sun and wind, others green with life, sandy or pebble stone beaches, rocky coastlines and cliffs. Elba has modern and well-equipped tourist facilities: museums, sport centers, diving centers, a golf club, amusement parks for children and adults, as well as sailing schools. The Hotel del Golfo has its own private facilities, all accessible to the LASER participants.

TRAVELING TO ELBA

  • By air

The Marina di Campo Airport offers direct links to a small number of Italian and European cities: Bergamo, Berne, Frankfurt, Friedrichshafen, Milano (Orio al Serio), Munich, Vienna, and Zürich. For most travellers, flying to the Pisa Airport is more convenient. Many traditional and low-cost airlines fly to Pisa. Note that the school will provide transfer from/to Pisa (see details below). A taxi from Marina di Campo to Hotel del Golfo costs about 25 EUR.

  • By train and ferry

The main ferry terminal in Elba is Portoferraio. The nearest ferry terminal on the mainland is located in Piombino. Piombino is located 70 km south of Pisa and can be reached by train (from Pisa Centrale, it takes 1.5 hours and costs about 10 EUR). The ferry terminal in Piombino is right next to the train station. From Piombino, it takes approximately 1.5 hours to get to Elba. For ferry schedules see Moby or Toremar websites. The ferry costs about 20 EUR. A taxi from Portoferraio to Hotel del Golfo costs about 35-40 EUR.     

TRANSFER PISA -> ELBA -> PISA

We will organise a transfer from Pisa to Hotel del Golfo on Saturday, 3 September, and back to Pisa  on Sunday, 11 September. The cost is EUR 80.

Schedule:

  • Saturday 3 September 2011

13:45 Meeting in front of the railway station (Pisa Centrale)
14:00 Departure from Pisa Centrale (bus)
16:30 Departure from Piombino Marittima (ferry)
18:30 Arrival at Hotel del Golfo

  • Sunday 11 September 2011

07:00 Departure from Hotel del Golfo (bus)
08:30 Departure from Portoferraio (ferry)
11:30 Arrival in Pisa

 

Chair of Software Engineering - ETH Zurich Last update: 12.08.2011