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

Record Beta

CADE 2017

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

This record is part of the confref event 26th International Conference on Automated Deduction.

rdf:typecf:Category_Event
schema:locationGothenburg (wd:Q25287)
rdfs:labelCADE 2017
cf:Abstract_Deadline2017-02-11
cf:Academic_Fieldhttps://id.confref.org/data/confident/26448
cf:AcronymCADE 2017
cf:CityGothenburg
cf:Countryhttps://id.confref.org/data/confident/31065
cf:Country_Missingfalse
cf:Creation_date2022-04-06T21:13:36
cf:DOI10.25798/2k0y-mw82
cf:Display_TitleCADE 2017
cf:End_Date2017-08-11
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/6707/026e93081092fc9b338153290df22b20
cf:Has_subobjecthttps://id.confref.org/data/confident/6707/505abf06fed836fabe38c95a52dc81a0
cf:Has_subobjecthttps://id.confref.org/data/confident/6707/846346179f91828957f09929d53d85b1
cf:Has_subobjecthttps://id.confref.org/data/confident/6707/c12dd85baac2b5e021d707aa27b67e7d
cf:In_Event_Serieshttps://id.confref.org/data/confident/1182
cf:Modification_date2026-09-29T14:27:32
cf:Month8
cf:Notification_Deadline2017-04-22
cf:Number_Of_Accepted_Papers31
cf:Number_Of_Submitted_Papers69
cf:Official_Websitehttp://www.cse.chalmers.se/~myreen/cade-26/
cf:Ordinal26
cf:Organizer_Missingfalse
cf:Single_Day_Eventno
cf:Start_Date2017-08-08
cf:Start_Date_Missingfalse
cf:Submission_Deadline2017-02-18
cf:Title26th International Conference on Automated Deduction
cf:Year2017
cf:pagehttps://www.confident-conference.org/index.php/Event:CADE_2017
cf:pageTitleEvent:CADE 2017
cr:disciplineautomated theorem proving (wd:Q431667)
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.