Difference between revisions of "IFM 2019"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (pushed from or by wikipush) |
Tim Holzheim (talk | contribs) (edited by wikiedit) |
||
| Line 3: | Line 3: | ||
|Title=15th International Conference on Integrated Formal Methods | |Title=15th International Conference on Integrated Formal Methods | ||
|Series=IFM | |Series=IFM | ||
| − | | | + | |Event type=Conference |
|Start date=2019/12/02 | |Start date=2019/12/02 | ||
|End date=2019/12/06 | |End date=2019/12/06 | ||
Latest revision as of 10:00, 8 March 2021
| IFM 2019 | |
|---|---|
15th International Conference on Integrated Formal Methods
| |
| Event in series | IFM |
| Dates | 2019/12/02 (iCal) - 2019/12/06 |
| Location | |
| Location: | Bergen, Norway |
| Accepted short papers: | 3 |
| Papers: | Submitted 95 / Accepted 25 (26.3 %) |
| Table of Contents | |
The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.