International Workshop on Automated Verification of Critical Systems

Steering Committee

Since October 2011 the AVoCS workshop series has an elected steering committee:

• Michael Goldsmith
• Stephan Merz
• Markus Roggenbach (chair)