Hardware & IoT
Formal Methods in Computer-Aided Design (FMCAD)
FMCAD 2026 is a conference on formal methods in computer-aided design. It covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing, and includes an FMCAD Student Forum for graduate students.
The essentials
Event details
- Dates
- 14 September 2026 to 18 September 2026
- Location
- TU Graz, Graz, Austria
- Organiser
- TU Graz
- Industry
- Hardware & IoT
Agenda themes
Topics covered
- Science & Research
- IT & Technology
On stage
Speakers
- Bruno Dutertre, AWS, USA
- Bettina Könighofer, TU Graz, Austria
On the floor
Sponsors and partners
- AWS
- Cadence
- TTTech
- TU Wien
Logistics
Where to stay
Places to stay near the venue.
ibis Styles Graz Messe
8-10 Waltendorfer Gürtel, Graz, 8010
PLAZA INN Graz Messe
96 Conrad-von-Hötzendorf-Straße, Graz, 8010
Amedia Luxury Suites
6 Evangelimanngasse, Graz, 8010
PLAZA INN Graz City ★★★★
60 Conrad-von-Hötzendorf-Straße, Graz, 8010
Haus Mobene ★★★
14 Kastellfeldgasse, Graz, 8010
blackhome Graz
15 Schörgelgasse, Graz, 8010
Sternwirt
45 Waltendorfer Hauptstraße, Graz, 8010
Hotel Aton
Keep planning
Related events
Spot something wrong on this page? Report a correction and we will fix it.