Automatic Verification and Analysis of Complex Systems

1st AVACS Spring School

15-19 March 2010, Oldenburg, Germany

Call for participation

"Automatic Verification and Analysis of Complex Systems" is a spring school focussing on automated formal methods in computer science and their application to the analysis and verification of complex embedded systems. Targeting primarily PhD students and young researchers with an interest in safety-critical embedded systems, the technical program comprises talks from 17 specialists in the field of automated formal methods, covering the range from hard real-time systems over hybrid systems to dynamically restructuring systems of systems.

Poster (pdf), Poster (jpeg), Full call for participation (txt)


Please see the program website for a detailed schedule and abstracts of the talks.


Hybrid Systems:


Systems of Systems:


Please see the program website for a detailed schedule and abstracts of the talks.

Social event

On Wednesday evening, we will have a guided tour through the exhibition of the Horst Janssen Museum and thereafter enjoy a nice dinner (served from a buffet covering a variety of food including vegetarian dishes) at the museum's restaurant. The social event is of course covered by the registration fee.

A very limited number of extra seats is available. Please contact us for details if you are interested.

Related events

Note that there is another PhD school with slight thematic overlap which takes place only 10 days before: the ARTIST Design - MT-LAB school on Quantitative Model Checking in Copenhagen, Denmark. To participate in both events should be especially interesting for students coming from far away. The focus of the ARTIST Design - MT-LAB school is model checking of systems with quantitative information.

Travel information

The spring school will be held at the Carl von Ossietzky University Oldenburg, campus Wechloy (location in google maps, OpenStreetMap).

Map of campus Wechloy

By taking the buses of line 306 (see below for transportation in Oldenburg) to their final stop "Carl von Ossietzky Straße / Universität", you will easily reach the main entrance of the university campus in Oldenburg Wechloy.

From there, we will make sure that a lot of signs will guide you the way to the front desk of the spring school and the lecture hall.

From Monday to Thursday, all lectures will take place in W1-1-161, "großer Hörsaal", the largest lecture hall in the Wechloy campus. Only on Friday, we will have the lectures in room W1-0-015.

During the spring school, we will have room W4-1-172 available e.g. for internet access or reading.

Getting here and around

Getting to Oldenburg

From within central Europe, you can reach Oldenburg by train. In order to find your connection, use the website of DB (Search for train connections) and enter "Oldenburg(Oldb)" as your destination. Be careful not to travel to Oldenburg(Holst)! For many connections within Germany you can also directly buy a ticket online and print it out (it is then valid only in connection with an identification card, that you selected during purchase). This is also possible for some international connections, however, not for all of them. In Germany you can also buy tickets at automatic vending machines and counters in virtually every station. Otherwise, please use the services offered by your travel agency.

The closest international airports are Bremen (BRE), Hamburg (HAM), and Hannover (HAJ). Once there, you can use the train to get to Oldenburg (Search for train connections, you can directly enter the airport identifier as the point of departure and again Oldenburg(Oldb) as destination) or a taxi (which can be very expensive!). If your flight is scheduled to arrive late at night or early in the morning, pay special attention to limited train services at those times.

Oldenburg can also be reached by international bus lines (eurolines), however, connections are far more sporadic than those offered by trains.

Transportation in Oldenburg

Unless you plan on renting a bicycle, using the city busses for getting around is probably the best option. Campus Wechloy is located at bus stop "Carl von Ossietzky Straße (Campus Wechloy, Naturwiss. Trakt)". Busses must be entered through the front door and tickets always be shown to the driver. You can also buy a ticket from the driver by naming the destination stop. From all bus stops within the city, a ticket of "Preisstufe 1" (2.10 EUR) is sufficient (from some stops that are very close to the destination, a "Kurzstrecke" ticket would also be enough). There are different types of tickets that allow you to save some money depending on how intensively you use the buses. By selecting "Straße/ Hausr." instead of "Haltestelle" in the bus connection search forms, you can directly enter any address, e.g. also the one of your hotel. The result page will then also reveal the name of the closest / most suitable bus stop and even maps showing which way to walk to get there.


We have reserved rooms in the following hotels. Please make sure to name "AVACS Spring School" when booking. A substantial number of options have already expired, so please make sure to book quickly!

All prices are per night and per person including VAT. Please ask for a confirmation of the price when booking, as we have no influence on potential changes since the time when we requested the reservation option.

About Oldenburg

Travel information on Germany: Oldenburg: If you have some spare time left, make sure to take a walk through the old town, taking a look at sights like Lamberti church, the castle, the old townhall, and the Schlossgarten. Stroll through some of the shops, get a hot chocolate in one of the nice cafés, and maybe pick a museum (from history to modern art) or a play, concert, or opera in the Staatstheater. On Wednesdays, Fridays, and Saturdays, the later the night, the more the city fills up with young people heading to bars and clubs. So if dancing the night away is part of your cultural experience, be there not too early...


Participants of the spring school can access the presentation material by using the username and password that have been announced on the spring school.

You can either download individual presentations from the links that have been added to the program or download all slides in one archive.


After having received more than 100 registrations, the online registration is now closed and we can no longer accept further entries to the waiting list.

Registration fee

The participation fee is 80 EUR (approx. 117 USD) for early registration and 120 EUR (approx. 175 USD) for normal registration. Early registration was possible until 2010-01-31. Thereafter only normal registration was possible. The registration fee covers the lectures, course materials, and a social event including a conference dinner.

Refund policy

Payment methods

You can pay your registration fee by

Credit card payment

On behalf of Oldenburg University, (B+W Daten Service, Oldenburg, Germany) will charge the registration fee from your credit card. The account statement of your credit card will therefore list (not Oldenburg University or AVACS Spring School).

Online registration

The online registration is now closed and we can no longer accept any further registrations.


The 1st AVACS Spring School on "Automatic Verification and Analysis of Complex Systems" is organized by the large scale transregional research center AVACS, funded by the Deutsche Forschungsgemeinschaft DFG.

Inquiries cannot be addressed anymore Martin Fränzle, Andreas Eggers, and Jürgen Niehaus


Imprint / Impressum