Difference between revisions of "IFM 2020"
(CSV import CORE B) |
|||
Line 1: | Line 1: | ||
− | {{Event | + | {{Event |
− | | | + | |Acronym=IFM |
− | |Title= | + | |Title=16th International Conference on integrated Formal Methods |
− | | | + | |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 12: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"
EventSeries acronym | IFM 2020 + |
Has CORE Rank | B + |
IsA | EventSeries + |
Title | Integrated Formal Methods + |