Programme
Wednesday, 6 June
Afternoon: arrival
19:00 A dining room is reserved at Hotel Norlandia where a two course meal can be ordered
Thursday, 7 June
08:00-09:00 Registration
09:00-09:15 Opening
09:15-10:15 Invited speaker: Jakob Rehof (Fraunhofer ISST): Software Architectures for Security
10:45-12:15 Cryptography and ASM theory
12:15-13:15 Lunch
13:15-14:15 Invited speaker: Yuri Gurevich (Microsoft Research, Redmond, USA): The Background of a Computation
14:15-15:15 Tool presentations
15:40-17:00 ASM applications (1)
17:00-20:00 Social event
Friday, 8 June
09:00-10:00 Invited speaker: Don Batory (University of Texas): On the Compositional Structure of Software Products
10:00-11:00 Refinement
11:30-12:30 Special Session ASM Tools (1)
12:30-13:30 Lunch
13:30-14:30 Invited speaker: Giampaolo Bella (Università di Catania): What is Correctness of Security Protocols?
15:00-17:00 Modelling with ASM
17:00-18:00 Time for ad-hoc meetings
18:30-19:00 Buss from Norlandia hotel to Strand hotel
19:30-23:30 Conference Dinner
Saturday, 9 June
09:00-10:00 Invited speaker: Michael Altenhofen (SAP): on Design and analysis of web services
10:30-12:00 Special Session ASM Tools (2)
12:00-13:00 Lunch
13:00-15:00 Special Session ASM and Software Architecture
15:30-16:30 ASM applications (2) and extended abstracts
16:30-17:00 Closing
17:00-21:00 Boat trip