Da monday 9 Settembre 2024 a friday 13 Settembre 2024FM 2024. 26th International Symposium on Formal Methods

Conferenze

Leggi tutto

Event Details

Chairs: prof Matteo Rossi (Dipartimento di Meccanica) e prof. Matteo Pradella (Dipartimento di Elettronica, Informazione e Bioingegneria)

FM 2024 is the 26th event in the series of symposia organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The FM symposia have been successful in bringing together participants from academia, industry, and governments around a program of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral research. FM 2024 is both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experiences.

Per informazioni e iscrizioni: fm24 (polimi.it)

 

Date e orari

Da lunedì 9 Settembre 2024 a venerdì 13 Settembre 2024

Luogo

Politecnico di Milano, Campus Leonardo

Piazza Leonardo da Vinci, 32 - Milano

Organizzatore

Politecnico di Milano

X