Difference between revisions of "IFM 2020"

Revision as of 11:30, 8 April 2020

IFM 2020
Integrated Formal Methods
CORE Rank (2018):	B
Table of Contents
Contents 1 Events 2 Number of Submitted and Accepted Papers (Main Track) 3 Acceptance Rate 4 Locations

The following events of the series IFM 2020 are currently known in this wiki:

@@ Line 1: / Line 1: @@
-{{Event
+{{Event series
-|Acronym=IFM
+|acronym=IFM
-|Title=16th International Conference on integrated Formal Methods
+|Title=Integrated Formal Methods
-|Type=Conference
+|has CORE2018 Rank=B
-|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
--->