View source for IFM 2020

{{Event
|Acronym=IFM
|Title=16th International Conference on integrated Formal Methods
|Type=Conference
|Start date=2020/11/16
|End date=2020/11/20
|Submission deadline=2020/06/22
|Homepage=https://ifm20.si.usi.ch
|Twitter account=@iFMconf
|City=Lugano
|Country=Switzerland
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line

==Topics==
==Submissions==
==Important Dates==

==Committees==
* Co-Organizers
* General Co-Chairs
** [[has general chair::some person]], some affiliation, country

* PC Co-Chairs
** [[has program chair::some person]], some affiliation, country

* Workshop Chair
** [[has workshop chair::some person]], some affiliation, country

* Panel Chair
** [[has OC member::some person]], some affiliation, country

* Seminars Chair
** [[has tutorial chair::some person]], some affiliation, country

* Demonstration Co-Chairs
** [[has demo chair::some person]], some affiliation, country
** [[has demo chair::some person]], some affiliation, country

* Local Organizing Co-Chairs
** [[has local chair::some person]], some affiliation, country

* Program Committee Members
** [[has PC member::some person]], some affiliation, country
-->
Abstract deadline	May 15, 2020 +
Acronym	IFM 2020 +
End date	November 20, 2020 +
Event in series	IFM +
Event type	Conference +
Has coordinates	46° 0' 18", 8° 57' 7"Latitude: 46.005011111111 Longitude: 8.9520277777778 +
Has coordinator	Mohammad Rezaalipour +, Diego Marcilio + and Elisa Larghi +
Has general chair	Carlo A. Furia +
Has location city	Lugano +
Has location country	Category:Switzerland +
Has program chair	Brijesh Dongol + and Elena Troubitsyna +
Has twitter	@iFMcon +
Homepage	https://ifm20.si.usi.ch +
IsA	Event +
Notification	August 14, 2020 +
Paper deadline	June 22, 2020 +
Start date	November 16, 2020 +
Submission deadline	June 22, 2020 +
Title	16th International Conference on Integrated Formal Methods +