Invitation to AVACS Final Colloquium on September 29, 2015 in Oldenburg/Germany

We would like to invite you to the 12 years celebration of the Transregional Collaborative Research Center
AVACS - Automatic Verification and Analysis of Complex Systems, see www.avacs.org with a final colloquium
held on September 29, 2015 at the University of Oldenburg, Germany.

Please see program at http://cps-vo.org/node/21669.

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

Please register for participation by sending an e-mail to Mrs. Kathrin Kuper: kathrin.kuper@uni-oldenburg.de
by September 18, 2015.