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

Record Beta

TAP 2020

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

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

rdf:typecf:Category_Event
rdfs:labelTAP 2020
cf:AcronymTAP 2020
cf:Camera-Ready_Deadline2020-04-17
cf:Country_Missingtrue
cf:Creation_date2022-09-05T09:37:25
cf:Display_TitleTAP 2020
cf:End_Date2020-06-23
cf:Event_Modeonline
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/30697/aff2198eeabd1bed64256f427f03e31b
cf:Has_subobjecthttps://id.confref.org/data/confident/30697/c2143d6322428ff7150f1ddf7075aa10
cf:Has_subobjecthttps://id.confref.org/data/confident/30697/f7091c3611c8a21b637d5eba5046ca3e
cf:In_Event_Serieshttps://id.confref.org/data/confident/30602
cf:Modification_date2022-12-16T06:44:06
cf:Month6
cf:Notification_Deadline2020-03-16
cf:Official_Websitehttps://tap.sosy-lab.org/2020/
cf:Ordinal14
cf:Organizer_Missingtrue
cf:Single_Day_Eventno
cf:Start_Date2020-06-22
cf:Start_Date_Missingfalse
cf:Submission_Deadline2020-02-02
cf:Submission_Linkhttp://www.easychair.org/conferences/?conf=tap2020
cf:TitleInternational Conference of Tests and Proofs
cf:Year2020
cf:pagehttps://www.confident-conference.org/index.php/Event:3352046d-f46a-454e-aa19-d2204b87b2eb
cf:pageTitleEvent:3352046d-f46a-454e-aa19-d2204b87b2eb
cr:sameAshttps://dblp.org/db/conf/tap/tap2020

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

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