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

10:00

Welcome Address

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

10:15

AVACS: lessons learned (Slides)

Prof. Dr. Werner Damm, AVACS coordinator

11:00

Invited academic Keynote (Slides)

Prof. Dr. Kim G. Larsen, Aalborg University

12:00

Invited industrial Keynote (Slides)

Prof. Dr. Heinrich Daembkes, Airbus

12:45

Lunch

13:45

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

 

16:05

Coffee Break

16:30

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)

 

19:00

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

 

20:00

Dinner

(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:

www.avacs.org/autumn2015/

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.