Difference between revisions of "Event:IFM 2020"

From ConfIDent
(mobo import Concept___Events-migrated)
 
(3 intermediate revisions by 2 users not shown)
Line 2: Line 2:
 
|Acronym=IFM 2020
 
|Acronym=IFM 2020
 
|Title=16th International Conference on Integrated Formal Methods
 
|Title=16th International Conference on Integrated Formal Methods
 +
|In Event Series=Event Series:IFM
 +
|Single Day Event=no
 +
|Start Date=2020/11/16
 +
|End Date=2020/11/20
 +
|Event Status=as scheduled
 +
|Event Mode=on site
 +
|City=Lugano
 +
|Country=Country:CH
 +
|Official Website=https://ifm20.si.usi.ch
 +
|DOI=10.25798/k9cy-9m55
 
|Type=Conference
 
|Type=Conference
|Submission deadline=2020/06/22
 
|Homepage=https://ifm20.si.usi.ch
 
 
|Twitter account=@iFMcon
 
|Twitter account=@iFMcon
|City=Lugano
 
|Country=Country:CH
 
|Abstract deadline=2020/05/15
 
|Paper deadline=2020/06/22
 
|Notification=2020/08/14
 
 
|Has coordinator=Mohammad Rezaalipour, Diego Marcilio, Elisa Larghi
 
|Has coordinator=Mohammad Rezaalipour, Diego Marcilio, Elisa Larghi
 
|has general chair=Carlo A. Furia
 
|has general chair=Carlo A. Furia
Line 17: Line 20:
 
|pageEditor=User:Curator 34
 
|pageEditor=User:Curator 34
 
|contributionType=1
 
|contributionType=1
|In Event Series=Event Series:IFM
 
|Single Day Event=no
 
|Start Date=2020/11/16
 
|End Date=2020/11/20
 
|Event Status=as scheduled
 
|Event Mode=on site
 
 
}}
 
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
+
{{Event Deadline
 
+
|Notification Deadline=2020/08/14
==Topics==
+
|Abstract Deadline=2020/05/15
==Submissions==
+
|Paper Deadline=2020/06/22
==Important Dates==
+
|Submission Deadline=2020/06/22
 
+
}}
==Committees==
+
{{Organizer
* Co-Organizers
+
|Contributor Type=organization
* General Co-Chairs
+
|Organization=Software Institute, Università della Svizzera italiana
** [[has general chair::some person]], some affiliation, country
+
}}
 
+
{{Event Metric}}
* PC Co-Chairs
+
{{S Event}}
** [[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 09:06, 5 August 2023

Deadlines
2020-08-14
2020-05-15
2020-06-22
2020-06-22
15
May
2020
Abstract
22
Jun
2020
Paper
22
Jun
2020
Submission
14
Aug
2020
Notification
organization
Metrics
Venue

Lugano, Switzerland

Loading map...
Cookies help us deliver our services. By using our services, you agree to our use of cookies.