Visible to the public AVACS Final Colloquium

Submitted by Anonymous on Tue, 08/25/2015 - 1:42pm
Sep 29, 2015 10:00 am - 8:00 pm CEST

The Transregional Collaborative Research Center AVACS - Automatic Verification and Analysis of Complex Systems, see www.avacs.org - 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 http://www.avacs.org/autumn2015/.

Program

10:00 Welcome Address Prof. Dr. Katharina Al-Shamery, Vice President Research and Transfer, Universitat Oldenburg

10:15 AVACS: lessons learned Prof. Dr. Werner Damm, AVACS coordinator

11:00 Invited academic Keynote Prof. Dr. Kim G. Larsen, Aalborg University

12:00 Invited industrial Keynote Prof. Dr. Heinrich Daembkes, Airbus

12:45 Lunch

13:45 AVACS Highlights - presented by

  • Prof. Dr. Viorica Sofronie-Stokkermans, MPI
  • Prof. Dr. Martin Franzle, Universitat Oldenburg
  • Prof. Dr. Andreas Podelski, Universitat Freiburg
  • Prof. Dr. Bernd Finkbeiner, Universitat des Saarlandes

16:05 Coffee Break

16:30 AVACS alumni technical presentations by

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

19:00 Concluding remarks AVACS site coordinators

  • Prof. Dr. Bernd Becker, Universitat Freiburg
  • Prof. Dr. Bernd Finkbeiner, Universitat des Saarlandes
  • Prof. Dr. Werner Damm, Universitat Oldenburg

20:00 Dinner (Artcafe at the Horst-Janssen-Museum, Stadtmuseum 4-8, 26121 Oldenburg)

  • Dinner speech: Prof. Dr. Holger Hermanns, Universitat des Saarlandes

The Colloquium will take place at the Horsaalzentrum A14, Carl von Ossietzky University, Haarentor Campus, Uhlhornsweg, 26129 Oldenburg. Information about travel and accommodation, etc. you can find at: http://www.avacs.org/autumn2015/#travel

Please register for participation (and whether or not you will attend the Dinner) by sending an e-mail to Mrs. Kathrin Kuper: kathrin.kuper@uni-oldenburg.de by September 18, 2015.

Event Details
Location: 
Oldenburg, Germany
URL: 
http://www.avacs.org/autumn2015