AVACS Plenary in Oldenburg
24. - 27. September 2012
Location
The meeting will be held at the Carl von Ossietzky Universität Oldenburg on Campus Wechloy (see openstreetmaps)
Schedule
Download Schedule as PDF
Monday | 24.09.2012 | ||
09-13 Uhr | R2 | Raum W01 1-117 | |
13-14 Uhr | Lunch | ||
14-18 Uhr | H4 | Raum W01 1-109 | |
S1 | Raum W01 1-117 | ||
19:30-?? | Meeting of the Board | tbd | |
Tuesday | 25.09.2012 | ||
09-13 Uhr | S2 | Raum W01 1-117 | |
13-14 Uhr | Lunch | ||
14-18 Uhr | Plenary | Raum W03 1-161 | |
14:00-14:30 | Plenary Meeting | ||
14:30-15:30 | Invited talk Alvaro Catala-Prat (DLR) The DLR Research Intersection as a Development and Testing Framework for Intelligent Transportation Systems | ||
15:30-16:00 | Coffee Break | ||
16:00-16:30 | Bernd Finkbeiner Project Area S - Overview | ||
16:30-17:00 | Paolo Marin Verifying Partial Designs with QBF Solving and a Toolbox | ||
17:00-17:30 | Jochen Hoenicke Parameterised Choreographies | ||
17:30-18:00 | Andrea Turrini Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time | ||
19:30-?? | Get together |
Heiligengeist-Höfe 6 (see their website about how to get there) | |
Wednesday | 26.09.2012 | ||
09-13 Uhr | R3 | Raum W01 1-109 | |
H3, part I | Raum W01 0-015 | ||
S3 | Raum W01 1-117 | ||
13-14 Uhr | Lunch | ||
14-18 Uhr | H3, part II | Raum W01 0-015 | |
H1/2, part I | Raum W01 1-117 | ||
Thursday | 27.09.2012 | ||
09-13 Uhr | H1/2, part II | Raum W01-1-117 | |
R1, part I | Raum W01 0-015 | ||
13-14 Uhr | Lunch | ||
14-18 Uhr | R1, part II | Raum W01 0-015 |
Accomodation
A number of rooms has been reserved in the following hotels. There's a number of other events in September in Oldenburg, so rooms are in short supply and pre-booking expires rather early. Therefore, be sure to book your rooms soon. Please mention the key-word AVACS when booking your room, to receive the prices mentioned in the table.
Name | No of rooms | Price per night (incl. breakfast) | Pre-booking expires at |
5 | 78,- Euro | 01.08.2012 | |
10 | 85,- Euro | 15.08.2012 | |
10 | 81,- Euro | 15.08.2012 | |
5 | 89,- Euro | 23.08.2012 | |
5 | 63,- Euro / 68,- Euro | 01.09.2012 |
Registration
To register for the workshop, please write an email to jn at avacs dot org by August, 31st, stating
- the first and the last meeting you will attend (see schedule above)
- whether or not you'll attend the 'Get together'