Record Beta

Workshop on Algebraic Development Techniques (WADT) / Specification of Abstract Data Type Workshops (ADT)

https://id.confref.org/data/confref-portal/event/adt2016

rdf:type	portal:Conference
schema:location	Gregynog Hall (wd:Q517587)
rdfs:label	Workshop on Algebraic Development Techniques (WADT) / Specification of Abstract Data Type Workshops (ADT)
portal:acronym	ADT
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Gregynog
portal:country	UK
portal:endDate	2016-09-24
portal:keyword	Algebraic Specification
portal:keyword	Algebraic databases
portal:keyword	Asymmetric combination
portal:keyword	Bayesian reasoning
portal:keyword	Bayes’ theorem
portal:keyword	Context
portal:keyword	Employee monitoring
portal:keyword	Event-B
portal:keyword	Formal methods
portal:keyword	Formal specification
portal:keyword	Functorial data migration
portal:keyword	Hybridisation
portal:keyword	Meadow
portal:keyword	Model Management
portal:keyword	abstract data types
portal:keyword	category theory
portal:keyword	data integration
portal:keyword	institution
portal:keyword	institutions
portal:keyword	interventions
portal:name	Workshop on Algebraic Development Techniques (WADT) / Specification of Abstract Data Type Workshops (ADT)
portal:portalPage	http://portal.confref.org/list/adt2016
portal:series	https://id.confref.org/data/confref-portal/series/adt
portal:startDate	2016-09-21
portal:submissionExtended	false
portal:year	2016
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/wadt/wadt2016

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