AVACS Final Colloquium

Sept. 29, 2015, Oldenburg. Germany

The Transregional Collaborative Research Center AVACS - Automatic Verification and Analysis of Complex Systems celebrates 12 years of a highly stimulating research cooperation environment with a final colloquium on September 29, 2015 at the University of Oldenburg, Germany.

This event is followed­ by the three days AVACS Autumn School - see www.avacs.org/autumn2015/.

Program Download


Welcome Address

Prof. Dr. Katharina Al-Shamery, Vice President Research and Transfer, Universität Oldenburg


AVACS: lessons learned (Slides)

Prof. Dr. Werner Damm, AVACS coordinator


Invited academic Keynote (Slides)

Prof. Dr. Kim G. Larsen, Aalborg University


Invited industrial Keynote (Slides)

Prof. Dr. Heinrich Daembkes, Airbus




AVACS Highlights – presented by

  • Prof. Dr. Viorica Sofronie-Stokkermans, MPI (Slides)
  • Prof. Dr. Martin Fränzle, Universität Oldenburg (Slides)
  • Prof. Dr. Andreas Podelski, Universität Freiburg (Slides)
  • Prof. Dr. Bernd Finkbeiner, Universität des Saarlandes



Coffee Break


AVACS alumni technical presentations by

  • Dr. Andre Platzer, Carnegie Mellon University (Slides)
  • Dr. Andrey Rybalchenko, Microsoft Research
  • Dr. Jens Oehlerking, Bosch
  • Dr. Sven Schewe, University of Liverpool (Slides)
  • Dr. Lijun Zhang, Chinese Academy of Sciences  (Slides)



Concluding remarks AVACS site coordinators

  • Prof. Dr. Bernd Becker, Universität Freiburg
  • Prof. Dr. Bernd Finkbeiner, Universität des Saarlandes
  • Prof. Dr. Werner Damm, Universität Oldenburg




(Artcafé at the Horst-Janssen-Museum, Stadtmuseum 4-8, 26121 Oldenburg)

Dinner speech

Prof. Dr. Holger Hermanns, Universität des Saarlandes

The Colloquium will take place at the Hörsaalzentrum A14, Carl von Ossietzky University, Haarentor Campus, Uhlhornsweg, 26129 Oldenburg.

Information about travel and accommodation can be found at:


Please register for participation (and whether or not you will attend the Dinner) by sending an e-mail to Mrs. Kathrin Kuper:

kathrin.kuper(at)uni-oldenburg.de by September 18, 2015.