Record Beta
FM 2003
https://id.confref.org/data/confident/31119
This record is part of the confref event International Symposium on Formal Methods.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | Pisa (wd:Q13375) |
| rdfs:label | FM 2003 |
| cf:Acronym | FM 2003 |
| cf:City | IT/52/Pisa |
| cf:Country | https://id.confref.org/data/confident/30959 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-09-08T06:43:53 |
| cf:DOI | 10.25798/evdb-w002 |
| cf:Display_Title | FM 2003 |
| cf:End_Date | 2003-09-14 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:Has_subobject | https://id.confref.org/data/confident/31119/291915d13344255bff26f5e6b024ccab |
| cf:In_Event_Series | https://id.confref.org/data/confident/30717 |
| cf:Modification_date | 2026-10-19T06:47:26 |
| cf:Month | 9 |
| cf:Number_Of_Accepted_Papers | 44 |
| cf:Number_Of_Submitted_Papers | 144 |
| cf:Ordinal | 12 |
| cf:Organizer_Missing | false |
| cf:Region | IT/52 |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2003-09-08 |
| cf:Start_Date_Missing | false |
| cf:Title | International Symposium on Formal Methods |
| cf:Year | 2003 |
| cf:page | https://www.confident-conference.org/index.php/Event:41204264-2640-4d3d-8f1f-773eec58543e |
| cf:pageTitle | Event:41204264-2640-4d3d-8f1f-773eec58543e |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.