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

Record Beta

International Colloquium on Theoretical Aspects of Computing

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

This record is part of the confref event Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings.

rdf:typeportal:Conference
schema:locationStellenbosch (wd:Q5460)
rdfs:labelInternational Colloquium on Theoretical Aspects of Computing
portal:acronymICTAC
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityStellenbosch
portal:countrySouth Africa
portal:endDate2018-10-19
portal:keywordAbstract syntax trees
portal:keywordAlternating-time temporal logics
portal:keywordApplicative functors
portal:keywordAudited computation
portal:keywordBeki?’s Theorem
portal:keywordBoost
portal:keywordBranching-time temporal logics
portal:keywordComponent-based design
portal:keywordComputational complexity
portal:keywordConstraint solving
portal:keywordContinuous state space
portal:keywordData-race-freedom
portal:keywordDomain Specific Languages
portal:keywordError handling
portal:keywordExplicit Substitutions
portal:keywordExtended FSM
portal:keywordPOSIX
portal:keywordabstract machines
portal:keywordcatamorphisms
portal:keywordchecking sequence
portal:nameInternational Colloquium on Theoretical Aspects of Computing
portal:portalPagehttp://portal.confref.org/list/ictac2018
portal:serieshttps://id.confref.org/data/confref-portal/series/ictac
portal:startDate2018-10-16
portal:submissionExtendedfalse
portal:year2018
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/ictac/ictac2018

Data: Turtle · JSON-LD · N-Triples · RDF/XML

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