Record Beta
IFM 2022
https://id.confref.org/data/confident/31288
This record is part of the confref event International Conference on Integrated Formal Methods.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | Lugano (wd:Q7024) |
| rdfs:label | IFM 2022 |
| cf:Acronym | IFM 2022 |
| cf:City | Lugano |
| cf:Country | https://id.confref.org/data/confident/31066 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-09-19T08:55:51 |
| cf:DOI | 10.25798/nm54-g763 |
| cf:Display_Title | IFM 2022 |
| cf:End_Date | 2022-06-10 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:Has_subobject | https://id.confref.org/data/confident/31288/1301b29000780076691897e7d91c8c62 |
| cf:In_Event_Series | https://id.confref.org/data/confident/1632 |
| cf:Modification_date | 2023-07-07T10:59:15 |
| cf:Month | 6 |
| cf:Official_Website | https://ifm22.si.usi.ch/ |
| cf:Ordinal | 17 |
| cf:Organizer_Missing | false |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2022-06-07 |
| cf:Start_Date_Missing | false |
| cf:Title | International Conference on Integrated Formal Methods |
| cf:Year | 2022 |
| cf:page | https://www.confident-conference.org/index.php/Event:Bc64a646-6992-4a5f-826a-ac237324b08b |
| cf:pageTitle | Event:Bc64a646-6992-4a5f-826a-ac237324b08b |
| cr:sameAs | https://dblp.org/db/conf/ifm/ifm2022 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.