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


Facts about "IFM 2020"
Abstract deadlineMay 15, 2020 +
AcronymIFM 2020 +
End dateNovember 20, 2020 +
Event in seriesIFM +
Event typeConference +
Has coordinates46° 0' 18", 8° 57' 7"Latitude: 46.005011111111
Longitude: 8.9520277777778
+
Has coordinatorMohammad Rezaalipour +, Diego Marcilio + and Elisa Larghi +
Has general chairCarlo A. Furia +
Has location cityLugano +
Has location countryCategory:Switzerland +
Has program chairBrijesh Dongol + and Elena Troubitsyna +
Has twitter@iFMcon +
Homepagehttps://ifm20.si.usi.ch +
IsAEvent +
NotificationAugust 14, 2020 +
Paper deadlineJune 22, 2020 +
Start dateNovember 16, 2020 +
Submission deadlineJune 22, 2020 +
Title16th International Conference on Integrated Formal Methods +