Freiburg, Germany
May 10 - 11, 2001
Department of Computer Science
Albert-Ludwigs-Universität Freiburg
Georges-Köhler-Allee 52
D-79110 Freiburg
Germany
| Thursday, May 10 | ||
|---|---|---|
| 9:15 - 9:30 | Welcome | |
| 9:30 - 13:00 | Session 1: Presentations Chair: Luca Viganò |
|
| 9:30 - 10:30 | Sebastian Mödersheim Lazy Infinite-State Analysis of Security Protocols |
|
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 12:00 | Genova SAT-based model-checking for protocol verification |
|
| 12:00 - 13:00 | Nancy Theorem-proving with constraints for protocol verification |
|
| 13:00 - 14:30 | Lunch | |
| 14:30 - 18:00 | Session 2: A Presentation, Discussion and Brainstorming Chair: Michael Rusinowitch |
|
| 14:30 - 15:00 | Rafael Accorsi Towards an awareness-based semantics for security protocols verification |
|
| 15:30 - 16:00 | Coffee break | |
| 19:30 | Meeting dinner | |
| Friday, May 11 | ||
|---|---|---|
| 9:30 - 13:00 | Session 3: Workplan Chair: Alessandro Armando |
|
| 10:30 - 11:00 | Coffee break | |
| 13:00 - 14:30 | Lunch | |
| 14:30 - ad lib | Session 4: Conclusion Chair: Luca Viganò | First draft of Deliverable D1.1 Timetable (Month 4 meeting, deliverables, ...) ... |
An informal gathering will take place on the evening of Wednesday, May
9. We will meet in the city center, in Rathausplatz (just in front of Hotel Am
Rathaus) at around 20:30.
An official meeting dinner will take place on the evening of Thursday,
May 10, starting at 19:30.
The Institute for Software Engineering (Lehrstuhl für
Softwaretechnik und Softwareproduktionsumgebungen) of the Department of Computer
Science of the Albert-Ludwigs-Universität Freiburg is in the ground floor
of building 52 (Gebäude 52) in Georges-Köhler-Allee 52.
Here is a map of
the campus, which you can reach by bus, by Straßenbahn, by car or
foot. (If you get lost or have problems, phone Luca Viganò (0761)
203-8243 or 0179 1270109, or Ina Eckert (0761) 203-8240.)
BY BUS: (click
here for a map of the busses and trams)
There is one bus approximately every 15 minutes (10 minutes in the
rush hours), and the ride takes about 12 minutes.
Tickets can be bought directly from the busdriver, but also at some newstands or
in the RVF shop at the beginning of Salzstraße (near Bertoldsbrunnen).
To go back into town:
There is one bus approximately every 15 minutes (10 minutes in the
rush hours), and the ride takes about 12 minutes.
BY STRAßENBAHN: at the Hauptbahnhof ( main train station)
catch the train S0 (direction Breisach) and get out at the stop
Neue Messe/Universität - you are on the campus now!
BY CAR OR FOOT: here is a map!
The name of the street you're on is Breisacher Straße,
and almost at the end of it (after approx. 1.8 kms), on the
right, you can also find the Hotel Boardinghaus, where some of
the participants are staying.
Social Program
You're welcome to join us for an informal dinner/snack.
Some of us (Luca, ...) will be waiting in Rathausplatz from 20:15 to 20:45.
Site
Go back a few meters, take the first street left, go
straight and then under the railway line - you are on the campus now!
Go to
building 52 (Gebäude 52), and in the ground floor look
for the Institute for Software Engineering (Lehrstuhl für
Softwaretechnik und Softwareproduktionsumgebungen).
A ticket for a single one-way trip costs DM 3.50; `point'-tickets or daily
tickets for 2 adults are also available.
(Of course, this time you must catch the
bus on the side of the road opposite to the one where you got off.)
(Of course, this time you must catch the
bus on the side of the road opposite to the one where you got off.)
Accommodation
Town Maps
