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

Record Beta

TACAS 2016

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

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:locationKingdom of the Netherlands (wd:Q29999)
rdfs:labelTACAS 2016
cf:Abstract_Deadline2015-10-09
cf:Academic_Fieldhttps://id.confref.org/data/confident/26040
cf:AcronymTACAS 2016
cf:CityEindhoven
cf:Countryhttps://id.confref.org/data/confident/31004
cf:Country_Missingfalse
cf:Creation_date2022-05-17T09:19:44
cf:Display_TitleTACAS 2016
cf:End_Date2016-04-08
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/21513/2f304d7d40f2ffce94f7beb626146ab5
cf:Has_subobjecthttps://id.confref.org/data/confident/21513/a99c92e578f00c0a84b06795ff00b15b
cf:Has_subobjecthttps://id.confref.org/data/confident/21513/e363808a1bf22ea1856ebdb0385c22b4
cf:Has_subobjecthttps://id.confref.org/data/confident/21513/e688c556c18b3f5c20db24af05e1d882
cf:HashtagTACAS 2016
cf:In_Event_Serieshttps://id.confref.org/data/confident/2057
cf:Modification_date2023-11-22T09:38:16
cf:Month4
cf:Notification_Deadline2015-12-18
cf:Number_Of_Accepted_Papers44
cf:Number_Of_Submitted_Papers175
cf:Official_Websitehttps://etaps.org/index.php/2016/tacas
cf:Ordinal22
cf:Organizer_Missingfalse
cf:RegionNorth Brabant
cf:Single_Day_Eventno
cf:Start_Date2016-04-02
cf:Start_Date_Missingfalse
cf:Submission_Deadline2015-10-16
cf:Submission_Linkhttps://easychair.org/account/signin?l=pML5ERjjcvcaGi58KXmemL
cf:TitleInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
cf:VenueEindhoven University of Technology, Science park
cf:Year2016
cf:pagehttps://www.confident-conference.org/index.php/Event:TACAS_2016
cf:pageTitleEvent:TACAS 2016
cr:disciplinesoftware engineering (wd:Q80993)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAswd:Q106337699
cr:sameAshttps://dblp.org/db/conf/tacas/tacas2016

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

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