IFM 2020
Revision as of 11:30, 8 April 2020 by Birgit.Hofmann (talk | contribs) (Undo revision 220056 by Birgit.Hofmann (talk))
| IFM 2020 | |
|---|---|
Integrated Formal Methods
| |
| CORE Rank (2018): | B |
| Table of Contents | |
Events
The following events of the series IFM 2020 are currently known in this wiki:
Number of Submitted and Accepted Papers (Main Track)
Acceptance Rate
Locations
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 + |
