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

Record Beta

TACAS 2012

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

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:locationTallinn (wd:Q1770)
rdfs:labelTACAS 2012
cf:Abstract_Deadline2011-10-07
cf:Academic_Fieldhttps://id.confref.org/data/confident/26040
cf:AcronymTACAS 2012
cf:Camera-Ready_Deadline2012-01-06
cf:CityTallinn
cf:Countryhttps://id.confref.org/data/confident/30918
cf:Country_Missingfalse
cf:Creation_date2022-05-17T09:19:46
cf:Display_TitleTACAS 2012
cf:End_Date2012-03-30
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/21517/2baba3607c2c425bc02188628bdb8f3b
cf:Has_subobjecthttps://id.confref.org/data/confident/21517/2dd156594e3e4bcc13f96f18e9890ad9
cf:Has_subobjecthttps://id.confref.org/data/confident/21517/40d59a66ad0ce3de7e4b8e3974831fa3
cf:Has_subobjecthttps://id.confref.org/data/confident/21517/4f4240823953aba46a29ce4dc8041c2a
cf:Has_subobjecthttps://id.confref.org/data/confident/21517/8177a08c1137bb07cb41b51fac5a490c
cf:HashtagTACAS 2012
cf:In_Event_Serieshttps://id.confref.org/data/confident/2057
cf:Modification_date2023-11-21T07:43:42
cf:Month3
cf:Notification_Deadline2011-12-16
cf:Number_Of_Accepted_Papers36
cf:Number_Of_Submitted_Papers147
cf:Official_Websitehttps://etaps.org/2012/tacas
cf:Ordinal18
cf:Organizer_Missingfalse
cf:RegionHarju
cf:Single_Day_Eventno
cf:Start_Date2012-03-27
cf:Start_Date_Missingfalse
cf:Submission_Deadline2011-10-14
cf:TitleInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
cf:VenueSwissotel Tallinn
cf:Year2012
cf:pagehttps://www.confident-conference.org/index.php/Event:TACAS_2012
cf:pageTitleEvent:TACAS 2012
cr:disciplinesoftware engineering (wd:Q80993)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAswd:Q106245014
cr:sameAshttps://dblp.org/db/conf/tacas/tacas2012

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

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