Die Konferenz über formale Methoden im computergestützten Design (FMCAD) ist eine jährliche Konferenz über die Theorie und Anwendungen formaler Methoden in der Hardware- und Systemverifizierung. Die FMCAD bietet Forschenden aus Wissenschaft und Industrie ein führendes Forum für die Präsentation und Diskussion bahnbrechender Methoden, Technologien, theoretischer Ergebnisse und Werkzeuge für die formale Betrachtung von Computersystemen. Die FMCAD deckt formale Aspekte des computergestützten Systemdesigns ab, darunter Verifizierung, Spezifikation, Synthese und Testen. Die FMCAD-Konferenz findet im September 2026 in Graz, Österreich, statt. Sie gilt als führendes Forum im Bereich des Computer-Aided Design und bietet seit ihrer Gründung Forschenden sowohl aus dem akademischen als auch dem industriellen Umfeld die Möglichkeit, sich auszutauschen und zu vernetzen. 

Die Publikation steht als E-Book, öffnet eine externe URL in einem neuen Fenster zur Verfügung. 

Mehr zu TU Wien Academic Press, öffnet eine externe URL in einem neuen Fenster