Record Beta

TACAS 2009

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

This record is part of the confref event International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

rdf:type	cf:Category_Event
schema:location	York (wd:Q42462)
rdfs:label	TACAS 2009
cf:Acronym	TACAS 2009
cf:Camera-Ready_Deadline	2009-01-05
cf:City	York
cf:Country	https://id.confref.org/data/confident/31085
cf:Country_Missing	false
cf:Creation_date	2022-05-17T09:19:47
cf:Display_Title	TACAS 2009
cf:End_Date	2009-03-29
cf:Event_Mode	on site
cf:Event_Status	as scheduled
cf:Has_Metric	false
cf:Has_subobject	https://id.confref.org/data/confident/21520/32fcec011e546dead901d7b56c6cd42d
cf:Has_subobject	https://id.confref.org/data/confident/21520/79a387cae3c88d58f57a6acb1893ea40
cf:Has_subobject	https://id.confref.org/data/confident/21520/cf3b80f26a1537b98ffc0db05dd15d54
cf:Has_subobject	https://id.confref.org/data/confident/21520/ff0afee255c67ae7f1c6cfcc2776d54c
cf:In_Event_Series	https://id.confref.org/data/confident/2057
cf:Modification_date	2022-11-10T07:39:52
cf:Month	3
cf:Notification_Deadline	2008-12-12
cf:Number_Of_Accepted_Papers	35
cf:Number_Of_Submitted_Papers	131
cf:Official_Website	http://web.embedded.rwth-aachen.de/tacas09/
cf:Ordinal	15
cf:Organizer_Missing	false
cf:Paper_Deadline	2008-10-02
cf:Single_Day_Event	no
cf:Start_Date	2009-03-22
cf:Start_Date_Missing	false
cf:Submission_Link	https://senldogo0039.springer-sbm.com/tacas09/servlet/Conference
cf:Title	International Conference on Tools and Algorithms for the Construction and Analysis of Systems
cf:Venue	York Castle Museum
cf:Year	2009
cf:page	https://www.confident-conference.org/index.php/Event:TACAS_2009
cf:pageTitle	Event:TACAS 2009
cr:sameAs	wd:Q106337702
cr:sameAs	https://dblp.org/db/conf/tacas/tacas2009

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

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