Record Beta
SPIN 2009
https://id.confref.org/data/confident/21697
This record is part of the confref event SPIN Workshop on Model Checking of Software.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | Grenoble (wd:Q1289) |
| rdfs:label | SPIN 2009 |
| cf:Acronym | SPIN 2009 |
| cf:Camera-Ready_Deadline | 2009-04-17 |
| cf:City | Grenoble |
| cf:Country | https://id.confref.org/data/confident/30924 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-05-17T09:21:17 |
| cf:Display_Title | SPIN 2009 |
| cf:End_Date | 2009-06-29 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:Has_subobject | https://id.confref.org/data/confident/21697/a63654f8699a361f4fdfda8b85b92184 |
| cf:Has_subobject | https://id.confref.org/data/confident/21697/f7118138d27936cd905827c20fece574 |
| cf:Modification_date | 2022-10-19T14:22:10 |
| cf:Month | 6 |
| cf:Official_Website | http://ti.arc.nasa.gov/event/spin09 |
| cf:Organizer_Missing | true |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2009-06-26 |
| cf:Start_Date_Missing | false |
| cf:Submission_Deadline | 2009-03-09 |
| cf:Title | SPIN Workshop on Model Checking of Software |
| cf:Year | 2009 |
| cf:page | https://www.confident-conference.org/index.php/Event:SPIN_2009 |
| cf:pageTitle | Event:SPIN 2009 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.