Difference between revisions of "IFM 2020"

From Openresearch
Jump to: navigation, search
(CSV import CORE B)
 
 
(5 intermediate revisions by the same user not shown)
Line 1: Line 1:
−
{{Event series
+
{{Event
−
|acronym=IFM
+
|Acronym=IFM 2020
−
|Title=Integrated Formal Methods
+
|Title=16th International Conference on Integrated Formal Methods
−
|has CORE2018 Rank=B
+
|Series=IFM
 +
|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=@iFMcon
 +
|City=Lugano
 +
|Country=Switzerland
 +
|Abstract deadline=2020/05/15
 +
|Paper deadline=2020/06/22
 +
|Notification=2020/08/14
 +
|Has coordinator=Mohammad Rezaalipour, Diego Marcilio, Elisa Larghi
 +
|has general chair=Carlo A. Furia
 +
|has program chair=Brijesh Dongol, Elena Troubitsyna
 
}}
 
}}
 +
<!-- 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
 +
-->

Latest revision as of 11:15, 8 April 2020

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


Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=IFM_2020&oldid=220869"
Facts about "IFM 2020"
RDF feed
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 +