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

Record Beta

TACAS 2011

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

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:locationSaarbrücken (wd:Q1724)
rdfs:labelTACAS 2011
cf:Abstract_Deadline2010-10-01
cf:Academic_Fieldhttps://id.confref.org/data/confident/26040
cf:AcronymTACAS 2011
cf:CitySaarbrücken
cf:Countryhttps://id.confref.org/data/confident/30931
cf:Country_Missingfalse
cf:Creation_date2022-05-17T09:19:46
cf:Display_TitleTACAS 2011
cf:End_Date2011-04-03
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/21518/1869c41916a4b0b45b761d03af950df3
cf:Has_subobjecthttps://id.confref.org/data/confident/21518/77a907314d542b4b749afa431eafb3a8
cf:Has_subobjecthttps://id.confref.org/data/confident/21518/7c81799c62aaae03fd31d98bbd13ef8a
cf:Has_subobjecthttps://id.confref.org/data/confident/21518/7dcfb02b97009f1680901443ee2bd0a6
cf:HashtagTACAS 2011
cf:In_Event_Serieshttps://id.confref.org/data/confident/2057
cf:Modification_date2023-11-21T07:42:33
cf:Month3
cf:Notification_Deadline2010-12-10
cf:Number_Of_Accepted_Papers32
cf:Number_Of_Submitted_Papers112
cf:Official_Websitehttps://etaps.org/2011/tacas
cf:Ordinal17
cf:Organizer_Missingfalse
cf:RegionSaarland
cf:Single_Day_Eventno
cf:Start_Date2011-03-26
cf:Start_Date_Missingfalse
cf:Submission_Deadline2010-10-08
cf:TitleInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
cf:VenueSaarland University
cf:Year2011
cf:pagehttps://www.confident-conference.org/index.php/Event:TACAS_2011
cf:pageTitleEvent:TACAS 2011
cr:disciplinesoftware engineering (wd:Q80993)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAswd:Q106337700
cr:sameAshttps://dblp.org/db/conf/tacas/tacas2011

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

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