Record Beta

CADE 1996

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

This record is part of the confref event e12fr4y.

rdf:type	cf:Category_Event
schema:location	New Brunswick (wd:Q138338)
rdfs:label	CADE 1996
cf:Academic_Field	https://id.confref.org/data/confident/26448
cf:Acronym	CADE 1996
cf:City	New Brunswick
cf:Country	https://id.confref.org/data/confident/31086
cf:Country_Missing	false
cf:Creation_date	2022-04-06T21:13:13
cf:Display_Title	CADE 1996
cf:End_Date	1996-03-08
cf:Event_Mode	on site
cf:Event_Status	as scheduled
cf:Has_Metric	false
cf:In_Event_Series	https://id.confref.org/data/confident/1182
cf:Modification_date	2022-10-19T14:44:34
cf:Official_Website	http://dblp2.uni-trier.de/db/conf/cade/cade96.html
cf:Organizer_Missing	true
cf:Single_Day_Event	no
cf:Start_Date	1996-07-30
cf:Start_Date_Missing	false
cf:page	https://www.confident-conference.org/index.php/Event:CADE1996
cf:pageTitle	Event:CADE1996
cr:discipline	automated theorem proving (wd:Q431667)
cr:field	Mathematics (https://id.confref.org/data/oecd-fos/1.1)

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