Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

SPIN 2013

https://id.confref.org/data/confident/34851

This record is part of the confref event International SPIN Symposium on Model Checking of Software.

rdf:typecf:Category_Event
schema:locationStony Brook (wd:Q1376559)
rdfs:labelSPIN 2013
cf:Abstract_Deadline2013-03-08
cf:AcronymSPIN 2013
cf:CityUS/NY/Stony Brook
cf:Countryhttps://id.confref.org/data/confident/31086
cf:Country_Missingfalse
cf:Creation_date2022-11-17T07:02:12
cf:Display_TitleSPIN 2013
cf:End_Date2013-07-09
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/34851/11bd226d6ee6370a9aa8b561c4de900f
cf:Has_subobjecthttps://id.confref.org/data/confident/34851/20364ce667c0285ef26a56981d6045b5
cf:Has_subobjecthttps://id.confref.org/data/confident/34851/2be212ce2b7c951b30b1cff2419e2b94
cf:Has_subobjecthttps://id.confref.org/data/confident/34851/fc1cf222edddc46d144978a58a15d352
cf:In_Event_Serieshttps://id.confref.org/data/confident/34769
cf:Modification_date2022-11-17T07:08:24
cf:Month7
cf:Notification_Deadline2013-04-19
cf:Number_Of_Accepted_Papers22
cf:Official_Websitehttp://spin2013.cs.sunysb.edu/
cf:Ordinal20
cf:Organizer_Missingfalse
cf:RegionUS/NY
cf:Registration_Linkhttp://naples.cc.sunysb.edu/secct/sbfevents.nsf/spin
cf:Single_Day_Eventno
cf:Start_Date2013-07-08
cf:Start_Date_Missingfalse
cf:Submission_Deadline2013-03-15
cf:TitleInternational SPIN Symposium on Model Checking of Software
cf:VenueStony Brook University, Charles B. Wang Center
cf:Year2013
cf:pagehttps://www.confident-conference.org/index.php/Event:806240de-6a05-4017-bc7e-31ffb35b4d18
cf:pageTitleEvent:806240de-6a05-4017-bc7e-31ffb35b4d18
cr:sameAswd:Q106246181
cr:sameAshttps://dblp.org/db/conf/spin/spin2013

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.