posted by user: nicopao || 1685 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

ICCV 2019   International Conference on Computer Vision
ICDMML 2019   2019 International Conference on Data Mining and Machine Learning
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
ENTER 2019   ENTER 2019: The 26th Annual eTourism Conference
COMML 2020   International Conference on Optimization, Metaheuristics and Machine Learning
OCS-IMTIR 2019   Open Computer Science Topical Issue on Intelligent Methods for Textual Information Retrieval
EBIMCS 2019   2019 2nd International Conference on E-Business, Information Management and Computer Science
HPCCT--Ei and Scopus 2019   2019 3rd High Performance Computing and Cluster Technologies Conference (HPCCT 2019)--Ei Compendex and Scopus
ICSTR 2019   2nd ICSTR Singapore – International Conference on Science & Technology Research, 15-16 March 2019