17th FMCAD 2017

This fall was a computer science autumn for Vienna, the science hub of Central Europe. From ALGO Congress on Algorithms to 17th FMCAD (Formal Methods in Computer-Aided Design), the research groups of VCLA have been busy.

Did you miss 17th FMCAD 2017 at TU Wien, Austria?

The proceedings, photo gallery, and recordings of the talks are now available here.

The Formal Methods in Computer-Aided Design, seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification took place in October, 2-6, 2017. The uniqueness of this years´ FMCAD, organized by Georg Weissenbacher​ and PhD students of LogiCS doctoral college, is its connection with the renowned member of the community the late Helmut Veith.

FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems.

Tom van Dijk CC BY 4.0

Read also

Helmut Veith Symposium

LogicLounge in Memoriam Helmut Veith. Logic in Computer Science: A Teaching Perspective

Comments are closed.