Difference between revisions of "IFM 2020"

From Openresearch
Jump to: navigation, search
(CSV import CORE B)
 
Line 1: Line 1:
{{Event series
+
{{Event
|acronym=IFM
+
|Acronym=IFM
|Title=Integrated Formal Methods
+
|Title=16th International Conference on integrated Formal Methods
|has CORE2018 Rank=B
+
|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
 +
-->

Revision as of 11:45, 25 March 2020

IFM 2020
16th International Conference on integrated Formal Methods
Dates 2020/11/16 (iCal) - 2020/11/20
Homepage: https://ifm20.si.usi.ch
Twitter account: @iFMconf
Location
Location: Lugano, Switzerland
Loading map...

Important dates
Submissions: 2020/06/22
Table of Contents
Tweets by @iFMconf


Facts about "IFM 2020"
AcronymIFM +
End dateNovember 20, 2020 +
Event typeConference +
Has coordinates46° 0' 18", 8° 57' 7"Latitude: 46.005011111111
Longitude: 8.9520277777778
+
Has location cityLugano +
Has location countryCategory:Switzerland +
Has twitter@iFMconf +
Homepagehttps://ifm20.si.usi.ch +
IsAEvent +
Start dateNovember 16, 2020 +
Submission deadlineJune 22, 2020 +
Title16th International Conference on integrated Formal Methods +