Programm
Download program as PDF.Wednesday, August 30
19:00
Reception and Pre-Event Dinner
at the Parkrestaurant RheinAue
Invited Dinner Speech
Engineering and science, a collusion of cultures
Tony Hoare, Microsoft Research
Thursday, August 31
08:30 - 09:00
Welcome
Werner Damm, CvO Universität Oldenburg
Wolfgang Paul, Universität des Saarlandes
Christine Petry, DFG
09:00 - 09:30
Survey Talk
The SFB/TR AVACS
Werner Damm, CvO Universität Oldenburg
09:30 - 10:30
Selected Presentations from AVACS
Verifying real-time aspects of the European Train Control System
Johannes Faber, CvO Universität Oldenburg
A tight integration of SAT and interval constraint propagation
Martin Fränzle, CvO Universität Oldenburg
10:30 - 11:00
Coffee Break
11:00 - 12:00
Selected Presentations from AVACS
Verifying Partial Designs
Sven Schewe, Universität des Saarlandes
Platoon Modelling and Verification
Jörg Bauer, Universität des Saarlandes
12:00 - 12:45
Invited Presentation
Recent Advances in Probabilistic Model Checking
Joost-Pieter Katoen, RWTH Aachen
12:45 - 14:00
Lunch Break
14:00 - 14:45
Invited Presentation
Industrialisation of Formal Methods in System Development
Gert Döhmen, Airbus Deutschland
14:45 - 15:30
Invited Presentation
Mathematics-Based IP
Warren A. Hunt, Jr., The University of Texas at Austin
15:30 - 16:00
Survey Talk
The BMBF Project Verisoft
Wolfgang Paul, Universität des Saarlandes
16:00 - 16:30
Coffee Break
16:30 - 18:30
Selected presentations from Verisoft
Validating C-to-Assembler Translations
Lars Kuhtz, Universität des Saarlandes
Improving ISABELLE in the Verisoft Context
Tobias Nipkow, TU München
Automation and Robustness of Correctness Proofs for Processors
Wolfgang Büttner, OneSpin Solutions
Status Report: The Formal Verification of a Distributed Realtime System
Steffen Knapp, Universität des Saarlandes