# Formal Methods in Computer-Aided Design (FMCAD)

- Dates: 14 September 2026 to 18 September 2026
- Location: TU Graz, Graz, Austria
- Organiser: TU Graz
- Industry: Hardware & IoT

## About

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.

## Official links

- [Official website](https://fmcad.org/FMCAD26/)
- [Registration](https://fmcad.org/FMCAD26/registration)

## Topics

- Science & Research
- IT & Technology

## Speakers

- Bruno Dutertre, AWS, USA
- Bettina Könighofer, TU Graz, Austria

## Sponsors and partners

- AWS
- Cadence
- TTTech
- TU Wien

## Where to stay

- **ibis Styles Graz Messe**: 520 m from the venue, 8-10 Waltendorfer Gürtel, Graz, 8010
  - [Hotel website](https://all.accor.com/hotel/B9U3/index.de.shtml)
  - Phone: +43 316 826300
- **PLAZA INN Graz Messe**: 1.0 km from the venue, 96 Conrad-von-Hötzendorf-Straße, Graz, 8010
  - [Hotel website](https://plazahotels.de/hotel-graz-jakomini/)
  - Phone: +43 316 278297
- **Amedia Luxury Suites**: 1.1 km from the venue, 6 Evangelimanngasse, Graz, 8010
  - [Hotel website](https://amediahotels.com/amedia-luxury-suites/amedia-luxury-suites-graz.html)
  - Phone: +43 316 258555
- **PLAZA INN Graz City**: 1.1 km from the venue, 4 stars, 60 Conrad-von-Hötzendorf-Straße, Graz, 8010
  - [Hotel website](https://plazahotels.de/hotel-graz/)
  - Phone: +43 316 24555-0
- **Haus Mobene**: 1.2 km from the venue, 3 stars, 14 Kastellfeldgasse, Graz, 8010
  - Phone: +43 316 826280
- **blackhome Graz**: 1.2 km from the venue, 15 Schörgelgasse, Graz, 8010
  - Phone: +43 720 310711
- **Sternwirt**: 1.3 km from the venue, 45 Waltendorfer Hauptstraße, Graz, 8010
  - [Hotel website](https://www.sternwirt.at)
  - Phone: +43 316 475245
- **Hotel Aton**: 1.3 km from the venue
  - [Hotel website](https://www.hotelaton.com/)
  - Phone: +43 664 640 2598

## Related events

- [DEXA Conferences & Workshops](https://www.luminik.io/events/dexa-conferences-workshops/)
- [International Conference on Big Data Analytics and Knowledge Discovery](https://www.luminik.io/events/international-conference-on-big-data-analytics-and-knowledge-discovery/)
- [International Conference on Database and Expert Systems Applications](https://www.luminik.io/events/international-conference-on-database-and-expert-systems-applications/)
- [International Conference on Electronic Government and the Information Systems Perspective](https://www.luminik.io/events/international-conference-on-electronic-government-and-the-information-systems-perspective/)
- [Future Education Conference](https://www.luminik.io/events/future-education-conference/)
- [DevOpsDays: Graz 2026](https://www.luminik.io/events/devopsdays-graz/)

Source: https://www.luminik.io/events/formal-methods-in-computer-aided-design-352fadda5f18/