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      
The RAMiCS 2012 proceedings are published as
Springer LNCS 7650.
The scope of the conference covers, but is not limited to the theory of
- relation algebras and Kleene algebras
- process algebras, fixed point calculi,
- idempotent semirings, quantales, allegories,
- dynamic algebras, cylindric algebras
and their applications in areas such as
- verification, analysis and development of programs and algorithms
- algebraic approaches to logics of programs, modal and dynamic
logics, interval and temporal logics
- relational formal methods such as B or Z, tabular methods,
- algebraic semantics of programming languages
- graph theory and combinatorial optimisation
- games, automata and language theory
- mechanised and automated reasoning, decision procedures
- spatio-temporal reasoning, knowledge acquisition, preference
and scaling methods
- information systems
           
           
           
Winton Capital Management