Veranstaltungen

02. Oktober 2017, 09:00 bis 06. Oktober 2017 13:00

Formal Methods in Computer-Aided Design

Konferenz

FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. 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. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

FMCAD logo by Anna Oberauer

FMCAD logo by Anna Oberauer

FMCAD logo by Anna Oberauer

FMCAD logo by Anna Oberauer

FMCAD logo by Anna Oberauer

FMCAD logo by Anna Oberauer

Kalendereintrag

Öffentlich

Ja

 

Kostenpflichtig

Ja

 

Anmeldung erforderlich

Ja