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

Caldero

Heiligengeist-Höfe 6
26121 Oldenburg

(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

Hotel Hermes

5

78,- Euro

01.08.2012

Hotel Heide

10

85,- Euro

15.08.2012

Hotel Wieting

10

81,- Euro

15.08.2012

Acara Penthouse-Hotel

5

89,- Euro

23.08.2012

Hotel Alexander

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'