posted by user: nicopao || 1572 views || tracked by 3 users: [display]

CALCO 2013 : 5th International Conference on Algebra and Coalgebra in Computer Science


Conference Series : Conference on Algebra and Coalgebra in Computer Science
When Sep 3, 2013 - Sep 6, 2013
Where Warsaw, Poland
Abstract Registration Due Feb 22, 2013
Submission Deadline Mar 1, 2013
Notification Due May 6, 2013
Final Version Due Jun 3, 2013

Call For Papers

We invite submissions 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 transfer of the resulting
technologies into industrial practice. We encourage submissions in
topics included or related to those listed below.

* Abstract models and logics
- Automata and languages
- Categorical semantics
- Modal logics
- Relational systems
- Graph transformation
- Term rewriting
- Adhesive categories

* Specialised models and calculi
- Hybrid, probabilistic, and timed systems
- Calculi and models of concurrent, distributed, mobile, and
context-aware computing
- General systems theory and computational models (chemical,
biological, etc.)

* Algebraic and coalgebraic semantics
- Abstract data types
- Inductive and coinductive methods
- Re-engineering techniques (program transformation)
- Semantics of conceptual modelling methods and techniques
- Semantics of programming languages

* System specification and verification
- Algebraic and coalgebraic specification
- Formal testing and quality assurance
- Validation and verification
- Generative programming and model-driven development
- Models, correctness and (re)configuration of
- Process algebra


This edition of CALCO will feature two new topics, and submission of
papers on these topics is especially encouraged.

* Corecursion in Programming Languages
- Corecursion in logic / constraint / functional / answer set
- Corecursive type inference
- Coinductive methods for proving program properties
- Implementing corecursion
- Applications

* Algebra and Coalgebra in quantum computing
- Categorical semantics for quantum computing
- Quantum calculi and programming languages
- Foundational structures for quantum computing
- Applications of quantum algebra

Related Resources

ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
DISC 2018   Special Issue on Data Intelligence in Sustainable Computing, Journal of Sustainable Computing: Informatics and Systems
ICSTR 2018   ICSTR Bangkok – International Conference on Science & Technology Research, 21-22 December, 2018
ICRST 2018   ICRST (2018) XIXth International Conference on Researches in Science & Technology, 26-27 October 2018, Colombo
ICSTR 2018   ICSTR Singapore – International Conference on Science & Technology Research, 16-17 November, 2018
ICSTR 2018   ICSTR Dubai – International Conference on Science & Technology Research, 03-04 October, 2018
ICSTR 2018   ICSTR Malaysia – International Conference on Science & Technology Research, 12-13 October, 2018
AIAIM 2019   China-Qatar International Workshop on Artificial Intelligence and Applications to Intelligent Manufacturing
icaase 2018   International Conference on Advanced Aspects of Software Engineering
XVth ICRST 2018   ICRST (2018) XVth International Conference on Researches in Science & Technology