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

Record Beta

TACAS 2006

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

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:locationVienna (wd:Q1741)
rdfs:labelTACAS 2006
cf:Abstract_Deadline2005-10-07
cf:Academic_Fieldhttps://id.confref.org/data/confident/26040
cf:AcronymTACAS 2006
cf:Camera-Ready_Deadline2006-01-06
cf:CityVienna
cf:Countryhttps://id.confref.org/data/confident/30861
cf:Country_Missingfalse
cf:Creation_date2022-05-17T09:19:49
cf:Display_TitleTACAS 2006
cf:End_Date2006-04-02
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/21523/0852e79d02c3cea3b1181b3d196fe602
cf:Has_subobjecthttps://id.confref.org/data/confident/21523/58cb4d43dd3a185e9cc7ad67d7344207
cf:Has_subobjecthttps://id.confref.org/data/confident/21523/6b2400dd3eb52be57c6263b3871dd462
cf:Has_subobjecthttps://id.confref.org/data/confident/21523/7fdb16e87a7b55fda7d63b59dfc2f9ae
cf:Has_subobjecthttps://id.confref.org/data/confident/21523/e11c92540527b3cf2b58b1c3b834756d
cf:HashtagTACAS 2006
cf:In_Event_Serieshttps://id.confref.org/data/confident/2057
cf:Modification_date2023-11-16T10:43:17
cf:Month3
cf:Notification_Deadline2005-12-09
cf:Number_Of_Accepted_Papers30
cf:Number_Of_Submitted_Papers118
cf:Official_Websitehttps://depend.cs.uni-saarland.de/index.php?id=329
cf:Ordinal12
cf:Organizer_Missingfalse
cf:RegionVienna
cf:Single_Day_Eventno
cf:Start_Date2006-03-25
cf:Start_Date_Missingfalse
cf:Submission_Deadline2005-10-14
cf:TitleInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
cf:VenueUniversity of Vienna, Elektrotechnisches Institut
cf:Year2006
cf:pagehttps://www.confident-conference.org/index.php/Event:TACAS_2006
cf:pageTitleEvent:TACAS 2006
cr:disciplinesoftware engineering (wd:Q80993)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAswd:Q106426956
cr:sameAshttps://dblp.org/db/conf/tacas/tacas2006

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

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