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

Record Beta

FORTE 2020

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

This record is part of the confref event 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems.

rdf:typecf:Category_Event
rdfs:labelFORTE 2020
cf:Academic_Fieldhttps://id.confref.org/data/confident/26508
cf:AcronymFORTE 2020
cf:Country_Missingtrue
cf:Creation_date2023-06-28T07:16:20
cf:DOI10.25798/dyzb-ch71
cf:Display_TitleFORTE 2020
cf:End_Date2020-06-19
cf:Event_Modeonline
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/38230/5ae688cadfd5e38757e931f6c3f40a32
cf:In_Event_Serieshttps://id.confref.org/data/confident/38219
cf:Modification_date2023-06-28T08:08:25
cf:Month6
cf:Official_Websitehttps://www.discotec.org/2020/forte
cf:Ordinal40
cf:Organizer_Missingfalse
cf:Single_Day_Eventno
cf:Start_Date2020-06-15
cf:Start_Date_Missingfalse
cf:Title40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
cf:Year2020
cf:pagehttps://www.confident-conference.org/index.php/Event:F67b3363-fcfa-418c-9b3e-87a02a587111
cf:pageTitleEvent:F67b3363-fcfa-418c-9b3e-87a02a587111
cr:disciplinedistributed computing (wd:Q180634)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAshttps://dblp.org/db/conf/forte/forte2020

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

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