Difference between revisions of "IFM 2020"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
(One intermediate revision by the same user not shown) | |||
Line 9: | Line 9: | ||
|has program chair=Brijesh Dongol, Elena Troubitsyna | |has program chair=Brijesh Dongol, Elena Troubitsyna | ||
|Acronym =IFM 2020 | |Acronym =IFM 2020 | ||
− | |End date =2020 | + | |End date =2020-11-20 |
|Series =IFM | |Series =IFM | ||
|Type =Conference | |Type =Conference | ||
Line 15: | Line 15: | ||
|State =CH/TI | |State =CH/TI | ||
|City =CH/TI/Lugano | |City =CH/TI/Lugano | ||
+ | |Year =2020 | ||
|Homepage =https://ifm20.si.usi.ch | |Homepage =https://ifm20.si.usi.ch | ||
− | |Start date =2020 | + | |Start date =2020-11-16 |
− | |Title =16th International Conference on Integrated Formal Methods}} | + | |Title =16th International Conference on Integrated Formal Methods |
+ | }} | ||
<!-- 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 03:22, 6 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at IFM 2020/rating
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: | CH/TI/Lugano, CH/TI, CH |
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| colspan="2" style="padding-top: 2px; " | |