There will be a SPARK presentation on Friday afternoon by Rod Chapman (Praxis High Integrity Systems Ltd).
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
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.