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

Record Beta

TAP 2019

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

This record is part of the confref event International Conference of Tests and Proofs.

rdf:typecf:Category_Event
schema:locationPorto (wd:Q36433)
rdfs:labelTAP 2019
cf:Abstract_Deadline2019-04-11
cf:AcronymTAP 2019
cf:Camera-Ready_Deadline2019-07-18
cf:CityPT/13/Porto
cf:Countryhttps://id.confref.org/data/confident/31026
cf:Country_Missingfalse
cf:Creation_date2022-09-05T09:35:16
cf:Display_TitleTAP 2019
cf:End_Date2019-10-11
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/30696/68131858d4febdd499c7c87d1cdad94b
cf:Has_subobjecthttps://id.confref.org/data/confident/30696/bef3523e29ab2ff0001d13d3496aa26e
cf:Has_subobjecthttps://id.confref.org/data/confident/30696/e4c61152e0c8f5795dae15596a7c7acd
cf:Has_subobjecthttps://id.confref.org/data/confident/30696/ee3e0d5cfe8b49fb25bb2591085de485
cf:In_Event_Serieshttps://id.confref.org/data/confident/30602
cf:Modification_date2022-12-16T06:46:42
cf:Month10
cf:Notification_Deadline2019-06-11
cf:Number_Of_Accepted_Papers12
cf:Official_Websitehttps://tap.sosy-lab.org/2019/
cf:Ordinal13
cf:Organizer_Missingtrue
cf:Single_Day_Eventno
cf:Start_Date2019-10-09
cf:Start_Date_Missingfalse
cf:Submission_Deadline2019-04-25
cf:TitleInternational Conference of Tests and Proofs
cf:Year2019
cf:pagehttps://www.confident-conference.org/index.php/Event:1d5d3e9e-fd5a-4664-bc26-27a508d33253
cf:pageTitleEvent:1d5d3e9e-fd5a-4664-bc26-27a508d33253
cr:sameAswd:Q106244019
cr:sameAshttps://dblp.org/db/conf/tap/tap2019

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

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