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 DutertreAWS, USA
- Bettina KönighoferTU 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
PLAZA INN Graz Messe
96 Conrad-von-Hötzendorf-Straße, Graz
Amedia Luxury Suites
6 Evangelimanngasse, Graz
PLAZA INN Graz City ★★★★
60 Conrad-von-Hötzendorf-Straße, Graz
Haus Mobene ★★★
14 Kastellfeldgasse, Graz
blackhome Graz
15 Schörgelgasse, Graz
Sternwirt
45 Waltendorfer Hauptstraße, Graz
Hotel Aton
Plan this event
Work out who to meet here
Luminik sources the attendee picture for an event like Formal Methods in Computer-Aided Design (FMCAD), enriches it against your ICP, and sequences it ahead of the date. Capture at the event writes to Salesforce or HubSpot the same day, and attribution ties the pipeline back to the spend.
Spot something wrong on this page? Report a correction and we will fix it.