Difference between revisions of "IFM 2020"
(Undo revision 220849 by Birgit.Hofmann (talk)) (Tag: Undo) |
|||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |Acronym=IFM | + | |Acronym=IFM |
− | |Title=16th International Conference on | + | |Title=16th International Conference on integrated Formal Methods |
− | |||
|Type=Conference | |Type=Conference | ||
|Start date=2020/11/16 | |Start date=2020/11/16 |
Revision as of 11:27, 8 April 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 + |