AVACS Plenary in Freiburg

22.02.-24.02.2012

Location

The Spring Plenary will be located at the Campus Applied Sciences of Freiburg University (Georges-Köhler-Allee, see map at google maps). With a few exceptions (see schedule) the meeting will be held in building 101 (which is the building numbered '1' on this map).

Schedule

Download Schedule (Version 2) as PDF.

Wednesday

22.02.2012

09:00-13:00

Project S2, building 101, room 01-018

13:00-14:00

Lunch

14:00-18:00

Project R3, building 101, room 01-018

Project H1/2, building 101, room 02-016/018

Project H3, building 101, room 01-009/013

19:30-??

Get-together (Peterhofkeller, Niemensstraße 10, building 11 at this map)

Thursday

23.02.2012

09:00-13:00

Plenary, building 101, HS 026

09:00

General Meeting (Download Slides incl. Minutes, password required)

10:00

Bernhard Merkle (SICK AG): Embedded Software and Safety (Inivted Talk)

10:45

Coffee

11:15

Project Area H

11:15

Martin Fränzle: Overview

11:30

Thomas Sturm: Quantifier Elimination Methods (H1/2)

12:00

Viorica Sofronie-Stokkermans: Applications of Local Theory Reasoning (H3)

12:30

Corina Mitrohin: Automated Proofs of Region Stability (H4)

13:00-14:00

Lunch

14:00-18:00

Subproject R1, building 101, room 01-009/013

Subproject R2, building 101, room 00-017

Subproject S3, building 101, room 01-018

19:30-??:??

Meeting of the Board (Location to be announced)

Friday

24.02.2012

09:00-13:00

Subproject H4, building 101, room 01-018

Subproject S1 , building 101, room 02-016/018

13:00-14:00

Lunch

 

Accomodation

You will have to book your room yourself. There's a number of rooms reserved in the Hotel Stadt Freiburg until January 31, 2012. These rooms are priced at 89,- Euro per night (incl. breakfast). If you book your room there, be sure to mention the keywords AVACS Workshop.

Registration

Please send an email with the dates of your arrival and departure as soon as possible to Dagmar Sonntag (sonntag _at_ informatik _dot_ uni-freiburg _dot_ de.)