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

Record Beta

IEICE Trans D Form Appr 2018

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

This record is part of the confref event IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems.

rdf:typecf:Category_Event
rdfs:labelIEICE Trans D Form Appr 2018
cf:Academic_Fieldhttps://id.confref.org/data/confident/26775
cf:AcronymIEICE Trans D Form Appr 2018
cf:CityN/A
cf:Country_Missingtrue
cf:Creation_date2022-04-06T22:55:00
cf:Display_TitleIEICE Trans D Form Appr 2018
cf:End_Date2017-07-28
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/10662/8b0709ca8f3cf2d89088640825f53b1c
cf:Modification_date2022-10-19T14:08:12
cf:Official_Websitehttp://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/FA/
cf:Organizer_Missingtrue
cf:Single_Day_Eventno
cf:Start_Date_Missingfalse
cf:Submission_Deadline2017-08-21
cf:TitleIEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems
cf:pagehttps://www.confident-conference.org/index.php/Event:IEICE_Trans_D_Form_Appr_2018:_Special_Section_on_Formal_Approaches_at_IEICE_Transactions_on_Information_and_Systems
cf:pageTitleEvent:IEICE Trans D Form Appr 2018: Special Section on Formal Approaches at IEICE Transactions on Information and Systems
cr:disciplineformal methods (wd:Q1049183)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)

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

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