[Om-announce] CfP: 2nd Autumn School on Automatic Analysis and Verification of Complex Systems

Martin Fränzle fraenzle at informatik.uni-oldenburg.de
Tue Jul 14 09:10:56 CEST 2015


                      CALL for PARTICIPATION

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

         Oldenburg, Germany, September 30 to October 2, 2015

                   http://www.avacs.org/autumn2015


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 Universität Oldenburg, D)

Hybrid Systems:
    Goran Frehse (Université Joseph Fourier Grenoble, F)
    André Platzer (Carnegie Mellon University, PA, USA)
    Thomas Sturm (Max-Planck-Institut für Informatik, D)

Real-Time:
    Kim G. Larsen (Aalborg Universitet, DK)
    Ernst-Rüdiger Olderog (Carl von Ossietzky Universität Oldenburg, D)
    Andrey Rybalchenko (Microsoft Research, UK)
    Mani Swaminathan (Carl von Ossietzky Universität Oldenburg, D)

Systems of Systems:
    Paolo Marin (Albert-Ludwigs-Universität Freiburg, D)
    David Parker (University of Birmingham, UK)
    Sven Schewe (University of Liverpool, UK)
    Ralf Wimmer (Albert-Ludwigs-Universität 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 Fränzle,
Thomas Scheidsteger, and Jürgen Niehaus via email: autumn2015 at avacs.org .


FURTHER INFORMATION

www.avacs.org/autumn2015



-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
URL: <http://openmath.org/pipermail/om-announce/attachments/20150714/f0b13f4d/attachment.pgp>


More information about the Om-announce mailing list