SEFM 2017 – Software Engineering and Formal Methods
Date importanti:
Abstract submission: 13 marzo
Full paper submission: 20 marzo
Notification of acceptance: 15 maggio
Main Conference: 6-8 settembre
Background e obiettivi:
Laboratori collaterali forniscono ulteriori opportunità per collaborazione e scambiarsi idee su argomenti specifici sui Software Engineering and Formal Methods, con aspetti pratici e teorici. Le presentazioni e le discussioni possono basarsi su risultati preliminari, progressi recenti, esperienze pratiche e proposte di ricerca, e si concentrano su specifici contesti di dominio, esigenze e/o applicazioni, aspetti multidisciplinari e comunità, coordinando tra rappresentanti di una comunità tecnica e proposte, progetti in corso o recentemente completati.
SEFM 2017 invita gli organizzatori del workshop futuri a presentare le loro idee per i workshop entro il 31 gennaio 2017. I workshop devono essere mirati alavori di ricerca nei settori della Software Engineering and Formal Methods (per un elenco di argomenti interessanti è possibile visitare il sito web della conferenza).
Gli organizzatori dei potenziali workshop sono tenuti a seguire le indicazioni e sono invitati a contattare i Co-chairs del Workshop per qualsiasi domanda.
-
Alessandro Cimatti Marjan Sirjani