CALL for PARTICIPATION

                        1st Spring School on
       Automatic Verification and Analysis of Complex Systems

               Oldenburg, Germany, March 15 to 19, 2010

                   http://www.avacs.org/spring2010


BACKGROUND AND OBJECTIVES

"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.


LECTURERS

Hybrid Systems:
    Edmund M. Clarke (Carnegie Mellon University, PA, USA)
    Werner Damm (Carl von Ossietzky University Oldenburg, D)
    Martin Fränzle (Carl von Ossietzky University Oldenburg, D)
    Bruce H. Krogh (Carnegie Mellon University, PA, USA)
    Jens Oehlerking (Carl von Ossietzky University Oldenburg, D)
    Stefan Ratschan (Akademy of Sciences of the Czech Republic, CZ)

Real-Time:
    Klaus Dräger (Saarland University, D)
    Sebastian Kupferschmid (University of Freiburg, D)
    Kim G. Larsen (Aalborg University, DK)
    Joel Ouaknine (Oxford University, UK)
    Viorica Sofronie-Stokkermans (Max Planck Institut for Informatics, D)
    Reinhard Wilhelm / Björn Wachter (Saarland University, D)

Systems of Systems:
    Patricia Bouyer-Decitre (LSV, CNRS & ENS de Cachan, F)
    Bernd Finkbeiner (Saarland University, D)
    Holger Hermanns (Saarland University, D)
    Jean-Francois Raskin (Université Libre de Bruxelles (ULB), B)
    Thomas Wies (Institute of Science and Technology (IST) Austria, A)


VENUE

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


REGISTRATION AND COST

Registration to the school is performed electronically via the web
form at www.avacs.org/spring2010 . 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 deadline for registration is 2010-02-28.

The participation fee is 80 EUR (approx. 117 USD) for early
registration and 120 EUR (approx. 175 USD) for normal registration.
Early registration is possible until 2010-01-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/spring2010 .


ORGANIZATION

The spring 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 Fränzle,
Andreas Eggers, and Jürgen Niehaus via email: spring2010@avacs.org .


FURTHER INFORMATION

www.avacs.org/spring2010