Teaching formal methods to students in high school and introductory university courses


9:00 - 10:30
An introduction to structured derivations (Ralph-Johan Back)
10:30 - 11:00 Kaffe
11:00 - 12:30
An overview of structured derivations (Ralph-Johan Back)
Experience from using structured derivations in schools and university (Mia Peltomäki, Linda Mannila, Patrick Sibelius)
12:30 - 14:00 Lunch
14:00 - 15:30
An overview of invariant based programming (Ralph-Johan Back)
Experience from using invariant based programming in first year university courses (Linda Mannila )
15:30 - 16:00 Kaffe
16:00 - 17:30
Socos: tool support for invariant based programming (Johannes Eriksson)

Social event

We are organizing on the evening of Monday, May 26, a trip to the nearbyisland of Ruissalo(some 10 km away) where we are going to have sauna on a beautiful location on the board of the Baltic sea, grill some sausages, etc. We are planning to organize the transportation there by private cars, depending on the number of participants. Public transportation is also available. For the sausages, beer, juice, etc, we are going to ask each of you a small fee, which we expect to be less than 10 eur per person. The trip is planned to take place starting from 18.00 until around 22.00. We would like to kindly ask those of you who are interested to join us for the trip to send a confirmation email to vrogojin@abo.fi not later than May 23.