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
