SEFM 2017 – Software Engineering and Formal Methods

La quindicesima edizione si tiene a Trento dal 6 al 10 settembre e mira a riunire i principali ricercatori e professionisti del mondo accademico, dell'industria e dell’amministrazione per far progredire lo stato dell'arte nei Formal Methods, per facilitare il loro assorbimento nella software industry e di incoraggiare l'integration within practical software engineering methods and tools.

Date evento

06/09 — 10/09
Sala “Luigi Stringa” – FBK-Povo, FBK-Povo
06/09/2017 — 10/09/2017

Sala “Luigi Stringa” – FBK-Povo

FBK-Povo

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.

Contatti
  • Alessandro Cimatti Marjan Sirjani