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

Record Beta

ICFEM 2020

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

This record is part of the confref event International Conference on Formal Engineering Methods.

rdf:typecf:Category_Event
schema:locationSingapore (wd:Q334)
rdfs:labelICFEM 2020
cf:Academic_Fieldhttps://id.confref.org/data/confident/26040
cf:AcronymICFEM 2020
cf:Camera-Ready_Deadline2020-07-17
cf:CitySingapore
cf:Countryhttps://id.confref.org/data/confident/31049
cf:Country_Missingfalse
cf:Creation_date2023-08-11T09:37:24
cf:Display_TitleICFEM 2020
cf:End_Date2021-03-03
cf:Event_Modehybrid
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/38699/0ce2db1f2ef3fefb7b403cab447f8bbe
cf:Has_subobjecthttps://id.confref.org/data/confident/38699/3bd6045b58714314d3beeaedd892e5e1
cf:Has_subobjecthttps://id.confref.org/data/confident/38699/6ad8694dd81ea630282180a6c8bcb662
cf:Has_subobjecthttps://id.confref.org/data/confident/38699/9b9c503ec1df85558003859c45f18549
cf:Has_subobjecthttps://id.confref.org/data/confident/38699/c64dc64c2c6051b36aaa873c77e1dffc
cf:Has_subobjecthttps://id.confref.org/data/confident/38699/cd30ebfdf22ca59922ccedbf391bdfab
cf:Has_subobjecthttps://id.confref.org/data/confident/38699/f80b22841f249a35422dcd469dba2277
cf:HashtagICFEM 2020
cf:In_Event_Serieshttps://id.confref.org/data/confident/1405
cf:Modification_date2023-08-11T09:53:42
cf:Month3
cf:Notification_Deadline2020-07-05
cf:Number_Of_Accepted_Papers16
cf:Number_Of_Submitted_Papers41
cf:Official_Websitehttps://formal-analysis.com/icfem/2020/
cf:Ordinal22
cf:Organizer_Missingfalse
cf:RegionSingapore
cf:Registration_Linkhttps://icfem2020.github.io/
cf:Single_Day_Eventno
cf:Start_Date2021-03-01
cf:Start_Date_Missingfalse
cf:Submission_Deadline2020-05-01
cf:Submission_Linkhttps://easychair.org/conferences/?conf=icfem20
cf:TitleInternational Conference on Formal Engineering Methods
cf:Tutorial_Deadline2020-03-20
cf:Workshop_Deadline2020-03-20
cf:Year2021
cf:pagehttps://www.confident-conference.org/index.php/Event:3a0d4936-5da6-479f-be3b-4a21677703f7
cf:pageTitleEvent:3a0d4936-5da6-479f-be3b-4a21677703f7
cr:disciplinesoftware engineering (wd:Q80993)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAswd:Q106334759

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

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