PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024

Beschreibung

The Proceedings of the conference "Formal methods in computer-aided design 2024" provide up-to-date insight into an exciting field of research.For the fifth time, the contributions of the conference series "Formal Methods in Computer-Aided Design" (FMCAD) are published as conference proceedings by TU Wien Academic Press. The 2024 edition of the conference series, which has been held once a year since 2006, presents the latest scientific findings in the field of computer-aided design in more than 40 contributions. The contributions cover formal aspects of computer-aided system design including verification, specification, synthesis, and testing.The FMCAD conference will take place in October 2024 in Prague, Czech Republic. It is regarded as the leading forum in the field of computer-aided design and has offered researchers from both academia and industry the opportunity to exchange ideas and network since its inception. 

Autor*in

Nina Narodytska
Nina Narodytska ist wissenschaftliche Mitarbeiterin bei VMware Research by Broadcom. Bevor sie zu VMware kam, war sie Forscherin bei Samsung Research America. Sie absolvierte ein Postdoc-Studium an der Carnegie Mellon University School of Computer Science und an der University of Toronto. Ihren Doktortitel erwarb sie an der University of New South Wales. Im Jahr 2013 wurde sie zu einer der „AI's 10 to Watch“-Forscherinnen im Bereich der KI ernannt. Ihre Hauptforschungsinteressen liegen an der Schnittstelle zwischen formalen Methoden und maschinellem Lernen. Sie hat an der Verifizierung und Erklärbarkeit von ML-Modellen gearbeitet. In jüngster Zeit hat sie sich auf die Verwendung großer Sprachmodelle zur Verbesserung der Programmverifikation und die Nutzung automatischer Argumentation zur Verbesserung der Argumentationsfähigkeiten großer Sprachmodelle konzentriert.  Sie hat eingeladene Vorträge und Tutorials auf FMCAD'18, CP'19, AAAI'20, IJCAI'20, LMML'22, CP'22, ESSAI'23 und KR'24 gehalten.

Themen in »PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024«

Formal Methods Computer-Aided System Design Hardware and System Verification Formal Verification, Specification, Synthesis, and Testing Automated and Formal Reasoning

Stimmen zu »PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024«

Details

Link teilen