Record Beta

International Colloquium on Automata, Languages and Programming (ICALP)

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

rdf:type	portal:Conference
schema:location	Warwick (wd:Q549761)
rdfs:label	International Colloquium on Automata, Languages and Programming (ICALP)
portal:acronym	ICALP
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Warwick
portal:country	UK
portal:endDate	2012-07-13
portal:keyword	?-Calculus
portal:keyword	?-definability
portal:keyword	Abstract syntax
portal:keyword	Algorithms and Data Structures
portal:keyword	Algorithms for compressed data
portal:keyword	Approximate Bisimulation
portal:keyword	Approximation
portal:keyword	Black-box simulation
portal:keyword	Church-Rosser system
portal:keyword	Clustering
portal:keyword	Code Equivalence
portal:keyword	algebraic effects
portal:keyword	algorithmic game theory
portal:keyword	almost-everywhere agreement
portal:keyword	anonymous mobile agent
portal:keyword	bounded-degree network
portal:keyword	chordality
portal:keyword	combinatorial bounds
portal:keyword	compact routing
portal:keyword	k-median problem
portal:name	International Colloquium on Automata, Languages and Programming (ICALP)
portal:portalPage	http://portal.confref.org/list/icalp2012
portal:series	https://id.confref.org/data/confref-portal/series/icalp
portal:startDate	2012-07-09
portal:submissionExtended	false
portal:year	2012
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/icalp/icalp2012-1

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