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

Record Beta

TACAS 2010

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

This record is part of the confref event International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

rdf:typecf:Category_Event
schema:locationPaphos (wd:Q180918)
rdfs:labelTACAS 2010
cf:Abstract_Deadline2009-10-01
cf:Academic_Fieldhttps://id.confref.org/data/confident/26040
cf:AcronymTACAS 2010
cf:Camera-Ready_Deadline2010-01-04
cf:CityPaphos
cf:Countryhttps://id.confref.org/data/confident/30907
cf:Country_Missingfalse
cf:Creation_date2022-05-17T09:19:47
cf:Display_TitleTACAS 2010
cf:End_Date2010-03-28
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/21519/4a65984628b5916c0067785698b57a9f
cf:Has_subobjecthttps://id.confref.org/data/confident/21519/68f5b2d490df5253c426ffca332db6cf
cf:Has_subobjecthttps://id.confref.org/data/confident/21519/69acb5f2e71f2e0e6c265b1049b01ae6
cf:Has_subobjecthttps://id.confref.org/data/confident/21519/a088a8992d954ff4ee4ba93ace989adc
cf:Has_subobjecthttps://id.confref.org/data/confident/21519/fce3fee0f04d72e054bac73ee2ccc937
cf:HashtagTACAS 2010
cf:In_Event_Serieshttps://id.confref.org/data/confident/2057
cf:Modification_date2023-11-21T07:28:14
cf:Month3
cf:Notification_Deadline2009-12-11
cf:Number_Of_Accepted_Papers35
cf:Number_Of_Submitted_Papers134
cf:Official_Websitehttps://tacas10.in.tum.de/
cf:Ordinal16
cf:Organizer_Missingfalse
cf:RegionPaphos
cf:Single_Day_Eventno
cf:Start_Date2010-03-20
cf:Start_Date_Missingfalse
cf:Submission_Deadline2009-10-08
cf:Submission_Linkhttps://easychair.org/account/signin?l=EuX41YZBBgTjSUWr50omsT
cf:TitleInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
cf:VenueCoral Beach Hotel
cf:Year2010
cf:pagehttps://www.confident-conference.org/index.php/Event:TACAS_2010
cf:pageTitleEvent:TACAS 2010
cr:disciplinesoftware engineering (wd:Q80993)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAswd:Q106337701
cr:sameAshttps://dblp.org/db/conf/tacas/tacas2010

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

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