Monday
Tuesday
Saturday
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
hardware/middleware/architectures
Re-engineering techniques (program transformation) Semantics of conceptual modelling methods and techniques Semantics of programming languages Validation and verification