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

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

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Algebra and Coalgebra in Computer Science
 
Link: http://coalg.org/calco13/
 
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
hardware/middleware/architectures,
- Process algebra

-- NEW TOPICS --

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
programming
- 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

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
ACMC 2017   Australasian Computer Music Conference
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
ICISIP 2018   The 6th IIAE International Conference on Intelligent Systems and Image Processing 2018
DISC 2018   Special Issue on Data Intelligence in Sustainable Computing, Journal of Sustainable Computing: Informatics and Systems
DISP 2018   Special Issue on Data Intelligence in Security and Privacy, Journal of Information Security and Applications
ICCVBIC 2018   IEEE International Conference On Computational Vision and Bio Inspired Computing
XVth ICRST 2018   ICRST (2018) XVth International Conference on Researches in Science & Technology
Xth ICRST 2018   ICRST (2018) Xth International Conference on Researches in Science & Technology
VIIIth ICRST 2018   ICRST (2018) VIIIth International Conference on Researches in Science & Technology