International Conference on Formal Methods in Computer-Aided Design

Keijo Heljanko (Chair)

Activity: Participating in or organising an event typesOrganization of a workshop, panel, session or tutorial


Chairman of FMCAD 2017 Student Forum
Period2 Oct 20176 Oct 2017
Event typeConference
Conference number17
LocationVienna, Austria
Degree of RecognitionInternational


  • formal methods
  • computer aided design