2nd AVACS Autumn School

CALL for PARTICIPATION

2nd Autumn School on Automatic Verification and Analysis of Complex Systems

BACKGROUND AND OBJECTIVES

"Automatic Verification and Analysis of Complex Systems" is an autumn 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 12 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.

LECTURERS

Overview:
Werner Damm (Carl von Ossietzky Universitat Oldenburg, D)

Hybrid Systems:
Goran Frehse (Universite Joseph Fourier Grenoble, F)
Andre Platzer (Carnegie Mellon University, PA, USA)
Thomas Sturm (Max-Planck-Institut fur Informatik, D)

Real-Time:
Kim G. Larsen (Aalborg Universitet, DK)
Ernst-Rudiger Olderog (Carl von Ossietzky Universitat Oldenburg, D)
Andrey Rybalchenko (Microsoft Research, UK)
Mani Swaminathan (Carl von Ossietzky Universitat Oldenburg, D)

Systems of Systems:
Paolo Marin (Albert-Ludwigs-Universitat Freiburg, D)
David Parker (University of Birmingham, UK)
Sven Schewe (University of Liverpool, UK)
Ralf Wimmer (Albert-Ludwigs-Universitat Freiburg, D)

VENUE

The autumn school will be held at the Carl von Ossietzky University Oldenburg. Please see the autumn school's website www.avacs.org/autumn2015 for travel information.

REGISTRATION AND COST

Registration to the school is performed electronically via the web form at www.avacs.org/autumn2015. Early registration is recommended, as the number of participants is limited. A waiting list will be opened if the number of enrollees exceeds the number of available places.

The participation fee is 140 EUR (approx. 156 USD) for early registration and 180 EUR (approx. 200 USD) for normal registration. Early registration is possible until August 31. Thereafter, only normal registration is possible. The registration fee covers the lectures, course materials, and a social event including a conference dinner.

ACCOMMODATION

A number of hotels in Oldenburg have reserved rooms at special rates. For details consult the school's web page www.avacs.org/autumn2015 .

ORGANIZATION

The autumn school is organized by the large scale transregional research center "AVACS" (Automatic Verification and Analysis of Complex Systems, www.avacs.org), funded by the Deutsche Forschungsgemeinschaft DFG (www.dfg.de/en/index.html).

Inquiries can be addressed to the local organizers Martin Franzle, Thomas Scheidsteger, and Jurgen Niehaus via email: autumn2015@avacs.org .