AVACS Plenary in Oldenburg

04.03.-07.03.2014

Location

Them meeting will take place in the building part W1 "Mathematik" (map of the building) at Campus Wechloy ( google map) at CvO University Oldenburg.

Rooms will be announced soon.

Schedule

Download Schedule as PDF.

Tuesday

04.03.14

09:00-13:00

Subproject H1/2 (room W01 1-109)

13:00-14:00

Lunch

14:00-18:00

Subproject H1/2, continued (room W01 1-109)

Subproject H3 (room W01 1-117)

Wednesday

05.03.14

09:00-13:00

Subproject H3, continued (room W01 1-117)

Subproject R3 (room W01 0-015)

Subproject S3 (room W01 1-109)

13:00-14:00

Lunch

14:00-18:00

Subproject R2 (room W01 0-015)

Subproject H4 (room W01 1-109)

Subproject S1 (room W01 1-117)

19:30-??:??

Meeting of the Board (Location to be announced)

Thursday

06.03.14

09:00-13:00

Subproject S2 (room W01 1-109)

Transferproject T1 Kickoff (room W01 1-117)

(S3 WP meeting) (room W01 0-015)

13:00-14:00

Lunch

14:00-18:00

Plenary (HS W03 1-161)

14:00-14:20

General Assembly

14:20-15:20

Invited talk

Dr. Udo Brockmeyer, BTC AG

Model-Based Test Solutions for Simulink/TargetLink: Status and Future Challenges (Slides as PDF)

15:20-15:50

Coffee break

15:50-16:00

Andreas Podelski: Overview Project Area S

16:00-16:30

(S3) Jan Krcal: Verification of Open Interface Markov Chains

16:30-17:00

(S1) Leander Tentrup: Detecting Unrealizable Specifications of Distributed Systems

17:00-17:30

(S2) tba

19:30-??:??

Get together (Zone 3, Kurwickstr 3, 26121 OL, see google maps)

Friday

07.03.14

09:00-13:00

Subproject R1 (room W01 1-117)

FOMC Meeting (room W01 0-015)

13:00-14:00

Lunch

14:00-18:00

Subproject R1, continued (room W01 1-117)

FOMC Meeting, continued (room W01 0-015)

Accomodation

Please book your room in the following hotels before the deadline mentioned in the table and be sure to mention AVACS.

Hotel

Prices

Deadline

Contact

ACARA Hotel

95 Euro

14.02.2014

Email: info@acara-hotel.de, Telefon: 0441/2055-0

altera Hotel

ab 91,50 Euro

17.02.2014

Email: oldenburg@altera-hotels.de, Telefon: 0441/21908-0

Best Western Hotel Heide

76 Euro

14.02.2014

Email: rezeption@hotel-heide.bestwestern.de, Telefon: 0441/804-0

Hotel Alexander

69 Euro

14.02.2014

Email: info@alexander-hotel.info, Telefon: 0441/9802-0

Hotel Sprenz

76 Euro

10.02.2014

Email: reservierung@hotel-sprenz.de, Telefon: 0441/8008880

Prices are per person and per night; they include breakfast.

If all the rooms have been taken, you'll find additional hotels here.

Registration

Please send an email with the dates of your arrival and departure (including the first and last subproject meeting you'll participate in and whether or not you'll attend the plenary and the Get Together) as soon as possible to Kathrin Kuper (kathrin _dot_ kuper _at_ uni-oldenburg _dot_ de).