Other activities

• SPARK talk

There will be a SPARK presentation on Friday afternoon by Rod Chapman (Praxis High Integrity Systems Ltd).

• Sea, sun, and software

Software verification is our topic number one but we do not forget that one has to relax in order to learn efficiently. The hotel's private beach and Elba's other beautiful beaches are available to all the participants at no additional cost. We have also booked sunny weather for the whole duration of the school.

• Excursion

There is no better place to discuss the latest developments in Applied Software Verification than the blue waters of the Tyrrhenian Sea. A boat trip with a stop for swimming will be organized on Saturday, 14 September. Departure: 14:30. Duration: 4.5 hours.

• Welcome party, conference dinner etc.

We strongly encourage the participants to discuss their research with other people and exchange ideas. The school provides many opportunities for interaction with the speakers and between the participants. Among them are the welcome party on September 9, the lecture-free afternoon followed by the conference dinner on September 12, free time in early afternoons every day, dinners taken together every evening at the hotel's beach restaurant, the final boat trip, and countless other occasions to start interesting collaborations.