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

Record Beta

IFM 2019

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

This record is part of the confref event 15th International Conference on Integrated Formal Methods.

rdf:typecf:Category_Event
schema:locationBergen (wd:Q26793)
rdfs:labelIFM 2019
cf:AcronymIFM 2019
cf:CityBergen
cf:Countryhttps://id.confref.org/data/confident/31014
cf:Country_Missingfalse
cf:Creation_date2022-04-06T22:55:56
cf:Display_TitleIFM 2019
cf:End_Date2019-12-06
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:In_Event_Serieshttps://id.confref.org/data/confident/1632
cf:Modification_date2022-10-18T13:56:11
cf:Month12
cf:Number_Of_Accepted_Papers25
cf:Number_Of_Accepted_Short_Papers3
cf:Number_Of_Submitted_Papers95
cf:Organizer_Missingtrue
cf:Single_Day_Eventno
cf:Start_Date2019-12-02
cf:Start_Date_Missingfalse
cf:Title15th International Conference on Integrated Formal Methods
cf:Year2019
cf:pagehttps://www.confident-conference.org/index.php/Event:IFM_2019
cf:pageTitleEvent:IFM 2019
cr:sameAshttps://dblp.org/db/conf/ifm/ifm2019

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

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