Caricando

Dettagli

iFM

Categoria

Organizzazione Congressi scientifici

Data

2017

Cliente

Dipartimento di Informatica - Unito

LA CONFERENZA

 

 L'utilizzo di metodi formali per lo studio di un sistema può portare all'applicazione di differenti formalismi e tecniche di analisi a seconda delle proprietà che si vogliono indagare, sia per quanto riguarda le singole componenti sia per l'intero sistema.

 

 

Le conferenze iFM si pongono come obiettivo quello di spingere la ricerca ad utilizzare approcci ibridi per l'analisi e la modellizzazione formale dei sistemi e ne vagliano tutti gli aspetti, dall'architettura del linguaggio alle tecniche di analisi e verifica e alla loro integrazione nei software.

 

 

http://ifm2017.di.unito.it/

iFM 2017

Si svolge a Torino dal 18 al 22 settembre 2017, presso la Cavallerizza Reale e il Rettorato dell'Università.

 

Per iFM 2017 Stilema cura la segreteria organizzativa.

Torna a tutti i progetti