Record Beta

International Conference on Relational and Algebraic Methods in Computer Science

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

rdf:type	portal:Conference
schema:location	Kingdom of the Netherlands (wd:Q29999)
rdfs:label	International Conference on Relational and Algebraic Methods in Computer Science
portal:acronym	RAMiCS
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Groningen
portal:country	The Netherlands
portal:endDate	2018-11-01
portal:keyword	Constrained optimization problem
portal:keyword	Discrete space
portal:keyword	Dynamic gossip
portal:keyword	Finite involutive bisemilattices
portal:keyword	Idempotent semifield
portal:keyword	Intuitionistic-modal logic
portal:keyword	Kleene algebra with tests (KAT)
portal:keyword	NetKAT
portal:keyword	Network programming language
portal:keyword	P?onka sums
portal:keyword	Qualitative representation and reasoning
portal:keyword	Single-facility location problem
portal:keyword	Tropical mathematics
portal:keyword	Weak Kleene logic
portal:keyword	peer-to-peer communication
portal:keyword	spatial relations
portal:name	International Conference on Relational and Algebraic Methods in Computer Science
portal:portalPage	http://portal.confref.org/list/ramics2018
portal:series	https://id.confref.org/data/confref-portal/series/ramics
portal:startDate	2018-10-29
portal:submissionExtended	false
portal:year	2018
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/RelMiCS/ramics2018

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