-
The FMCAD Association (formally FMCAD – Verein zur Organisation der Konferenz "Formal Methods in Computer-Aided Design") is an incorporated non-profit organization registered in Austria (ZVR number 1532517415) and domiciled in Vienna.
-
The FMCAD Association is represented by its
Executive Board:
Armin Biere (Board Member) Roderick Bloem (Board Member) Georg Weissenbacher (Chairman) Florian Zuleger (Chief Financial Officer) - Contact information (responsible for content of website):
Prof. Georg Weissenbacher Formal Methods in Systems Engineering (192/4) Favoritenstraße 9/11 A-1040 Vienna, Austria info@fmcad.or.at
-
The FMCAD Association is represented by its
Executive Board: