Difference between revisions of "IFM 2020"
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |Acronym=IFM | + | |Acronym=IFM 2020 |
− | |Title=16th International Conference on | + | |Title=16th International Conference on Integrated Formal Methods |
+ | |Series=IFM | ||
|Type=Conference | |Type=Conference | ||
|Start date=2020/11/16 | |Start date=2020/11/16 |
Revision as of 09:31, 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: | @iFMconf |
Location | |
Location: | Lugano, Switzerland |
Loading map... | |
Important dates | |
Submissions: | 2020/06/22 |
Table of Contents | |
Tweets by @iFMconf | |
Facts about "IFM 2020"
Acronym | IFM 2020 + |
End date | November 20, 2020 + |
Event in series | IFM + |
Event type | Conference + |
Has coordinates | 46° 0' 18", 8° 57' 7"Latitude: 46.005011111111 Longitude: 8.9520277777778 + |
Has location city | Lugano + |
Has location country | Category:Switzerland + |
Has twitter | @iFMconf + |
Homepage | https://ifm20.si.usi.ch + |
IsA | Event + |
Start date | November 16, 2020 + |
Submission deadline | June 22, 2020 + |
Title | 16th International Conference on Integrated Formal Methods + |