FormaliSE: 7th International Conference on Formal Methods in Software Engineering

Home
About
Program Committee
Previous editons

Program Committee

The Program Committee consists of: to be announced.

General Chairs

Stefania Gnesi, Italy
Nico Plat, The Netherlands

Contact us: [email protected]

PC Co-chairs

Nancy Day, Canada
Matteo Rossi, Italy

Important dates

Abstracts due: 11 January 2019
Submissions due: 18 January 2019
Notifications: 1 March 2019
Camera ready copies: 15 March 2019
FormaliSE conference: 27 May 2019

Copyright © 2018 FormaliSE