Difference between revisions of "IFM 2020"
(4 intermediate revisions by the same user not shown) | |||
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 | ||
Line 7: | Line 8: | ||
|Submission deadline=2020/06/22 | |Submission deadline=2020/06/22 | ||
|Homepage=https://ifm20.si.usi.ch | |Homepage=https://ifm20.si.usi.ch | ||
− | |Twitter account=@ | + | |Twitter account=@iFMcon |
|City=Lugano | |City=Lugano | ||
|Country=Switzerland | |Country=Switzerland | ||
+ | |Abstract deadline=2020/05/15 | ||
+ | |Paper deadline=2020/06/22 | ||
+ | |Notification=2020/08/14 | ||
+ | |Has coordinator=Mohammad Rezaalipour, Diego Marcilio, Elisa Larghi | ||
+ | |has general chair=Carlo A. Furia | ||
+ | |has program chair=Brijesh Dongol, Elena Troubitsyna | ||
}} | }} | ||
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line | <!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line |
Latest revision as of 11:15, 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: | @iFMcon |
Location | |
Location: | Lugano, Switzerland |
Loading map... | |
Important dates | |
Abstracts: | 2020/05/15 |
Papers: | 2020/06/22 |
Submissions: | 2020/06/22 |
Notification: | 2020/08/14 |
Committees | |
Organizers: | Mohammad Rezaalipour, Diego Marcilio, Elisa Larghi |
General chairs: | Carlo A. Furia |
PC chairs: | Brijesh Dongol, Elena Troubitsyna |
Table of Contents | |
Tweets by @iFMcon | |
Facts about "IFM 2020"
Abstract deadline | May 15, 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 coordinator | Mohammad Rezaalipour +, Diego Marcilio + and Elisa Larghi + |
Has general chair | Carlo A. Furia + |
Has location city | Lugano + |
Has location country | Category:Switzerland + |
Has program chair | Brijesh Dongol + and Elena Troubitsyna + |
Has twitter | @iFMcon + |
Homepage | https://ifm20.si.usi.ch + |
IsA | Event + |
Notification | August 14, 2020 + |
Paper deadline | June 22, 2020 + |
Start date | November 16, 2020 + |
Submission deadline | June 22, 2020 + |
Title | 16th International Conference on Integrated Formal Methods + |