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

Record Beta

TACAS 2013

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

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:locationRome (wd:Q220)
rdfs:labelTACAS 2013
cf:Abstract_Deadline2012-10-07
cf:Academic_Fieldhttps://id.confref.org/data/confident/26040
cf:AcronymTACAS 2013
cf:Camera-Ready_Deadline2013-01-08
cf:CityRome
cf:Countryhttps://id.confref.org/data/confident/30959
cf:Country_Missingfalse
cf:Creation_date2022-05-17T09:19:46
cf:Display_TitleTACAS 2013
cf:End_Date2013-03-24
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/21516/15fe111aedfea2cb1f506bb9c4387a48
cf:Has_subobjecthttps://id.confref.org/data/confident/21516/2b02901cbf8c64dc167dc405708a847c
cf:Has_subobjecthttps://id.confref.org/data/confident/21516/99b9ec3c58bde40725de540ff248cb6a
cf:Has_subobjecthttps://id.confref.org/data/confident/21516/bff8977f57b8a9f6df3ae1f84b40a6cb
cf:Has_subobjecthttps://id.confref.org/data/confident/21516/ca9f641f19ebdce4e0a37c9bb82ac0b0
cf:HashtagTACAS 2013
cf:In_Event_Serieshttps://id.confref.org/data/confident/2057
cf:Modification_date2023-11-21T07:57:46
cf:Month3
cf:Notification_Deadline2012-12-14
cf:Number_Of_Accepted_Papers42
cf:Number_Of_Submitted_Papers172
cf:Official_Websitehttps://etaps.org/2013/tacas
cf:Ordinal19
cf:Organizer_Missingfalse
cf:RegionLatium
cf:Single_Day_Eventno
cf:Start_Date2013-03-16
cf:Start_Date_Missingfalse
cf:Submission_Deadline2012-10-14
cf:TitleInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
cf:VenueUniversity of Rome
cf:Year2013
cf:pagehttps://www.confident-conference.org/index.php/Event:TACAS_2013
cf:pageTitleEvent:TACAS 2013
cr:disciplinesoftware engineering (wd:Q80993)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAswd:Q106426954
cr:sameAshttps://dblp.org/db/conf/tacas/tacas2013

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

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