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

No replies
Anonymous's picture

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 with a final colloquium
held on September 29, 2015 at the University of Oldenburg, Germany.

Please see program at

This event is followed by the three days AVACS Autumn School - see

Please register for participation by sending an e-mail to Mrs. Kathrin Kuper:
by September 18, 2015.