13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13)
Cambridge UK
17 – 20 September 2012
|
Welcome      
CFP ⊕ Submission      
Dates      
Venue ⊕ Registration      
∃ Invited Speakers      
Programme      
Student Papers      
Committees      
History      
Call for Papers (Submission instructions are below)
|
Submit papers here https://www.easychair.org/account/signin.cgi?conf=ramics13.
RAMiCS13-CFP1.pdf       RAMiCS13-CFP1.txt
We invite submissions in the general area of Relational and Algebraic Methods
in Computer Science. Special focus will lie on formal methods for software
engineering, logics of programs and links with neighbouring disciplines.
Particular topics of interest for the conference cover,
but are not limited to:
- Algebraic approaches to
- specification, development, verification, and analysis of programs and algorithms
- computational logic, in particular logics of programs, modal and dynamic logics, interval and temporal logics
- semantics of programming languages
- Applications in fields such as
- relational formal methods such as B or Z, tabular methods
- information systems
- graph theory and combinatorial optimisation
- games, automata and language theory
- spatio-temporal reasoning, knowledge acquisition
- preference and scaling methods, computational social choice, social software
- Theoretical foundations and supporting tools, including
- mechanised and automated reasoning, decision procedures
- process algebras, fixed point calculi, idempotent semirings, quantales, allegories
- dynamic algebras, cylindric algebras and their applications in computing
Submit papers here https://www.easychair.org/account/signin.cgi?conf=ramics13.
Submissions must be in English, in pdf format, and provide sufficient information to judge their merits. They must be unpublished and not submitted for publication elsewhere. They should not exceed 16 pages in Springer LNCS style and must be produced with LaTeX using the Springer LNCS style file.
Formatting instructions and the LNCS style files can be obtained via:
http://www.springer.de/comp/lncs/authors.html.
           
           
           
Winton Capital Management