Teaching formal methods to students in high school and introductory university courses
Program
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.