Difference between revisions of "IFM"
Jump to navigation
Jump to search
m |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| Line 3: | Line 3: | ||
|Title=International Conference on Integrated Formal Methods | |Title=International Conference on Integrated Formal Methods | ||
|Field=Formal methods | |Field=Formal methods | ||
| + | |pageCreator=Birgit.Hofmann | ||
| + | |pageEditor=Soeren | ||
| + | |contributionType=1 | ||
}} | }} | ||
Latest revision as of 21:16, 1 April 2022
IFM 
| IFM | |
|---|---|
International Conference on Integrated Formal Methods
| |
Categories: Formal methods
| |
| Avg. acceptance rate: | 31.8 |
| Avg. acceptance rate (last 5 years): | 31.8 |
| Table of Contents | |
International Conference on Integrated Formal Methods (IFM) has an average acceptance rate of 31.8% (last 5 years 31.8%).
Events
There are 5 events of the series IFM known to this wiki: IFM 2016, IFM 2017, IFM 2018, IFM 2019, IFM 2020
| Ordinal | Year | From | To | City | Country | presence | Homepage | TibKatId | GND | dblp | WikiCFP | Wikidata | General chair | PC chair | Submitted papers | Acceptance rate | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| IFM 2020 | 2020 | Nov 16 | Nov 20 | Lugano | Switzerland | https://ifm20.si.usi.ch | Carlo A. Furia | Brijesh Dongol Elena Troubitsyna | |||||||||
| IFM 2019 | 2019 | Dec 2 | Dec 6 | Bergen | Norway | 95 | 26.3 | ||||||||||
| IFM 2018 | 2018 | Sep 5 | Sep 7 | Maynooth | Ireland | 60 | 28.3 | ||||||||||
| IFM 2017 | 2017 | Sep 18 | Sep 22 | Turin | Italy | 61 | 39.3 | ||||||||||
| IFM 2016 | 2016 | Jun 1 | Jun 3 | Reykjavik | Iceland | 99 | 33.3 |
Submission/Acceptance
Locations