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

SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
ICDMML 2019   2019 International Conference on Data Mining and Machine Learning
CALDAM 2019   5th Annual International Conference on Algorithms and Discrete Applied Mathematics
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
ENTER 2019   ENTER 2019: The 26th Annual eTourism Conference
ICSTMH 2019   6th International Conference on Science, Technology, Management and Humanities (ICSTMH 2019) Bangkok, Thailand March 01-02, 2019
Special Issue A&DC IoT 2018   SENSORS (Q1) Special Issue: Algorithm and Distributed Computing for the Internet of Things
ENASE 2019   14th International Conference on Evaluation of Novel Approaches to Software Engineering
ICSTR 2018   3rd ICSTR Dubai – International Conference on Science & Technology Research, 26-27 February 2019
ICCGV--EI Compendex, Scopus 2019   2019 International Conference on Computer Graphics and Virtuality (ICCGV 2019)--Ei Compendex and Scopus