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

Record Beta

TACAS 2022

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

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:locationMunich (wd:Q1726)
rdfs:labelTACAS 2022
cf:AcronymTACAS 2022
cf:CityMunich
cf:Countryhttps://id.confref.org/data/confident/30931
cf:Country_Missingfalse
cf:Creation_date2022-05-17T09:19:41
cf:Display_TitleTACAS 2022
cf:End_Date2022-04-07
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/21507/072a047d4c3858e5f59d82fc71f2d2be
cf:Has_subobjecthttps://id.confref.org/data/confident/21507/a1dc7527830b6e9d328043e02e75d71d
cf:Has_subobjecthttps://id.confref.org/data/confident/21507/a75b0be7a4867fa1bd8760c59ec234af
cf:Has_subobjecthttps://id.confref.org/data/confident/21507/b981c6313901910f222ffaf38c5dfdee
cf:Has_subobjecthttps://id.confref.org/data/confident/21507/de07d294ae44ffc4dfcb610ad9ead725
cf:In_Event_Serieshttps://id.confref.org/data/confident/2057
cf:Modification_date2022-11-10T06:48:52
cf:Month4
cf:Notification_Deadline2021-12-23
cf:Official_Websitehttps://etaps.org/2022/tacas
cf:Ordinal28
cf:Organizer_Missingfalse
cf:Paper_Deadline2021-10-14
cf:Single_Day_Eventno
cf:Start_Date2022-04-02
cf:Start_Date_Missingfalse
cf:Submission_Deadline2022-01-26
cf:TitleInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
cf:VenueTechnische Universität München
cf:Year2022
cf:pagehttps://www.confident-conference.org/index.php/Event:TACAS_2022
cf:pageTitleEvent:TACAS 2022

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

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