Record Beta
ICFEM 2020
https://id.confref.org/data/confident/9683
This record is part of the confref event 22nd International Conference on Formal Engineering Methods.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | Singapore (wd:Q334) |
| rdfs:label | ICFEM 2020 |
| cf:Acronym | ICFEM 2020 |
| cf:City | Singapore |
| cf:Country | https://id.confref.org/data/confident/31049 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-04-06T22:29:48 |
| cf:Display_Title | ICFEM 2020 |
| cf:End_Date | 2020-11-06 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:Has_subobject | https://id.confref.org/data/confident/9683/6ad8694dd81ea630282180a6c8bcb662 |
| cf:In_Event_Series | Event Series:ICFEM |
| cf:Modification_date | 2022-10-19T14:05:12 |
| cf:Month | 11 |
| cf:Official_Website | https://formal-analysis.com/icfem/2020/ |
| cf:Organizer_Missing | true |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2020-11-02 |
| cf:Start_Date_Missing | false |
| cf:Submission_Deadline | 2020-05-01 |
| cf:Title | 22nd International Conference on Formal Engineering Methods |
| cf:Year | 2020 |
| cf:page | https://www.confident-conference.org/index.php/Event:ICFEM_2020 |
| cf:pageTitle | Event:ICFEM 2020 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.