The program mainly consists of talks given by the participants on their recent results or ongoing research. Social events include a joint dinner and an excursion.

During registration, you can indicate whether you want to give a talk. The duration of the talk is either 10min or 25min. Please also specify a preliminary title and a short preliminary abstract for your talk. After each talk, there will be 5min time for questions from the audience. Between talk sessions, we will have coffee breaks. Lunch is also provided.

Keynote

The meeting will open with a keynote by Philipp Rümmer, University of Regensburg and Uppsala University, on Automatic Program Instrumentation for Automatic Verification.

Social Program

The social program begins with a joint dinner on Wednesday evening. On Thursday afternoon, we will have an excursion to the Schauinsland mountain and Germany’s longest circulating cable car, the Schauinslandbahn. In the evenings, after the end of the official programs, there will be social gatherings, where we can chat and play games.

Preliminary Schedule

The following is a preliminary schedule. We will publish an updated version, including the topics and talks of the different sessions, before the conference.

Wednesday, 4th September	Thursday, 5th September	Friday, 6th September
8:45 Opening
9:00-10:30 Keynote	9:00-10:30 Talk Session	9:00-10:30 Talk Session
10:30-11:00 Coffee Break	10:30-11:00 Coffee Break	10:30-11:00 Coffee Break
11:00-12:30 Talk Session	11:00-12:30 Talk Session	11:00-12:30 Talk Session
12:30-14:00 Lunch	12:30-13:30 Lunch	12:30-14:00 Lunch
14:00-15:30 Talk Session	13:30-18:30 Excursion	14:00-15:30 Talk Session
15:30-16:00 Coffee Break		15:30-16:00 Coffee Break
16:00-17:30 Talk Session		16:00-17:00 Talk Session
19:00 Dinner		17:00 End of Conference