SEFM 2017 – Software Engineering and Formal Methods

La 15esima 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.

Sala “Luigi Stringa”, FBK Povo

Via Sommarive 18, 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


Avviso sulla privacy
Ai sensi e ai fini del Regolamento UE n. 2016/679 - Regolamento generale sulla protezione dei dati (GDPR) e come descritto nell'Informativa sulla privacy per i partecipanti all'evento di FBK, si informa che l'evento verrà registrato e divulgato sui canali istituzionali della Fondazione. Per non essere ripresi o registrati, si potrà disattivare la webcam e/o silenziare il microfono durante eventi virtuali oppure informare anticipatamente lo staff FBK che organizza l'evento pubblico.