How to get there:
There are no buses to the hotel/meeting venue from the
airport, but the Gotland taxi has a fixed rate deal with Suderbys (ca 150kr).
Ring 200 200 for calling a taxi.
From the centre of Visby you may also take a bus to the hotel. Here is the bus time table for Gotland (M, F, L, S stands for Monday, Friday, Saturday and Sunday respectively). Bus 31 takes you to the hotel, stop at Suderby.
To reach Suderbys by phone:
Tel: 0498-29 70 60 (ask for Suderbys, they have
several conference places.)
Fax : 0498-26 50 09
General Information about Gotland: Check the tourist office pages.
Program:
Monday:
9.00 Agenda for the meeting, Introduction
(Nicolas Halbwachs)
9.30 Symbolic debugging of reactive
programs: the case of Lustre (Florence Maraninchi)
10.15 Coffee
10.45 Checking safety properties using
Staalmarck's method (Mary Sheeran)
11.30 Feeding Lucifer with the Lustre
model of climatic chamber (Simin Nadjm-Tehrani)
12.00 A co-simulation environment
for hybrid systems in Signal and Matlab (Stephane Tudoret)
12.45 Lunch
14.00 Invited talk: Scheduling for
HW/SW co-design in automotive applications using a time-triggered architecture
(Paul Pop, Linköping)
15.00 SIGNAL programs graph
control improvment (Sofie Pinchinat)
15.30 Coffee
16.00 Schneider case study: verification with Lesar (Pascal Raymond)
16.45 The Gotland connection: Simulating Christopher Polhem's pump (Stephane Tudoret)
17.00 End of day 1 talks
19.00 Dinner at the Donners Brunn Restaurant, Visby.
Tuesday:
9.30 Towards a high-level synthesis tool based on clock calculus(Jean-Christophe Le Lann)
10.15 Coffee
10.45 Recent developments of synchronous Eiffel 2.0 (Reinhard Budde)
11.30 Progress report from INRIA- Sophia Antipolis, possibly with demos (Robert De Simone)
12.45 Lunch
14.00 Discussions about the coming
half year and planning the final review
15.30 Coffee
16.00 Arrays in Lustre (Nicolas Halbwachs)
Last Modified 14 June 99, Simin Nadjm-Tehrani