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/41011

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:Academic_Fieldhttps://id.confref.org/data/confident/26040
cf:AcronymTACAS 2022
cf:CityMunich
cf:Countryhttps://id.confref.org/data/confident/30931
cf:Country_Missingfalse
cf:Creation_date2023-11-22T10:00:19
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/41011/072a047d4c3858e5f59d82fc71f2d2be
cf:Has_subobjecthttps://id.confref.org/data/confident/41011/a1dc7527830b6e9d328043e02e75d71d
cf:Has_subobjecthttps://id.confref.org/data/confident/41011/a75b0be7a4867fa1bd8760c59ec234af
cf:Has_subobjecthttps://id.confref.org/data/confident/41011/b981c6313901910f222ffaf38c5dfdee
cf:Has_subobjecthttps://id.confref.org/data/confident/41011/de07d294ae44ffc4dfcb610ad9ead725
cf:HashtagTACAS 2022
cf:In_Event_Serieshttps://id.confref.org/data/confident/2057
cf:Modification_date2023-11-22T10:06:19
cf:Month4
cf:Notification_Deadline2021-12-23
cf:Number_Of_Accepted_Papers33
cf:Number_Of_Submitted_Papers86
cf:Official_Websitehttps://etaps.org/2022/tacas
cf:Ordinal28
cf:Organizer_Missingfalse
cf:Paper_Deadline2021-10-14
cf:RegionBavaria
cf:Registration_Linkhttps://www.xing.com/events/etaps-2022-3789601
cf:Single_Day_Eventno
cf:Start_Date2022-04-02
cf:Start_Date_Missingfalse
cf:Submission_Deadline2022-01-26
cf:Submission_Linkhttps://easychair.org/account/signin?l=qS629Pr5PYaB1KdtHC4uDr
cf:TitleInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
cf:VenueTechnical University of Munich
cf:Year2022
cf:pagehttps://www.confident-conference.org/index.php/Event:D21ceca7-8012-4cf4-bca8-1e3b6166d408
cf:pageTitleEvent:D21ceca7-8012-4cf4-bca8-1e3b6166d408
cr:disciplinesoftware engineering (wd:Q80993)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)

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

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