Der Lehrstuhl Softwaretechnik und Programmiersprachen organisiert den 12. Internationalen Workshop
Automated Verification of Critical Systems (AVoCS 2012), welcher vom 18. bis 20. September 2012 an der Otto-Friedrich-Universität in Bamberg stattfinden wird.
AVoCS bietet internationalen Forschern auf dem Gebiet der Verifikation kritischer Softwaresysteme ein Forum zum wissenschaftlichen Austausch über aktuelle Verifikationstechniken und deren Unterstützung durch Softwarewerkzeuge. Das Konferenzprogramm wird sich aus eingeladenen und regulären Vorträgen sowie Berichten zu aktuellen Forschungsarbeiten zusammensetzen.