IFM 2020

From Openresearch
Jump to: navigation, search
IFM 2020
16th International Conference on Integrated Formal Methods
Event in series IFM
Dates 2020/11/16 (iCal) - 2020/11/20
Homepage: https://ifm20.si.usi.ch
Twitter account: @iFMcon
Location
Location: Lugano, Switzerland
Loading map...

Important dates
Abstracts: 2020/05/15
Papers: 2020/06/22
Submissions: 2020/06/22
Notification: 2020/08/14
Committees
Organizers: Mohammad Rezaalipour, Diego Marcilio, Elisa Larghi
General chairs: Carlo A. Furia
PC chairs: Brijesh Dongol, Elena Troubitsyna
Table of Contents
Tweets by @iFMcon