CALCO 2005 1st Conference on Algebra and Coalgebra in Computer Science

Event Detail

General Information
Saturday, September 3, 2005 - Tuesday, September 6, 2005
Days of Week:
Target Audience:
Academic and Practice
Swansea, Wales, UK
Event Details/Other Comments:

Topics of Interest
We invite submission of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transition of resulting technologies into industrial practise. We encourage submissions in topics included or related to those in the lists below.
Algebras and coalgebras as mathematical objects:
Automata and languages
Categorical semantics
Hybrid, probabilistic, and timed systems Inductive and coinductive methods Modal logics Relational systems and term rewriting
Algebras and coalgebras in computer science:
Abstract data types
Algebraic and coalgebraic specification
Calculi and models of concurrent, distributed, mobile, and
context-aware computing
Formal testing and quality assurance
General systems theory and computational models (chemical, biological, etc) Generative programming and model-driven development Models, correctness and (re)configuration of
Re-engineering techniques (program transformation) Semantics of conceptual modelling methods and techniques Semantics of programming languages Validation and verification