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:

Submission Instructions

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