Difference between revisions of "Event:IFM 2020"

From ConfIDent
m (Text replacement - "Homepage=" to "Official Website=")
 
(One intermediate revision by one other user 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
|Official Website=https://ifm20.si.usi.ch
 
 
|Twitter account=@iFMcon
 
|Twitter account=@iFMcon
|City=Lugano
 
|Country=Country:CH
 
 
|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 13: 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
 
 
}}
 
}}
 
{{Event Deadline
 
{{Event Deadline
 +
|Notification Deadline=2020/08/14
 
|Abstract Deadline=2020/05/15
 
|Abstract Deadline=2020/05/15
 
|Paper Deadline=2020/06/22
 
|Paper Deadline=2020/06/22
|Notification Deadline=2020/08/14
 
 
|Submission Deadline=2020/06/22
 
|Submission Deadline=2020/06/22
 
}}
 
}}
 +
{{Organizer
 +
|Contributor Type=organization
 +
|Organization=Software Institute, Università della Svizzera italiana
 +
}}
 +
{{Event Metric}}
 
{{S Event}}
 
{{S Event}}
<!-- 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 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.