14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014)
Marienstatt im Westerwald, Germany
28 April - 1 May 2014

Welcome       CFP ⊕ Submission       Dates       Invited Speakers       Venue ⊕ Travel       Accommodation       Registration       Programme       Committees       History
Call for Papers (Submission instructions are below)

Submit papers here https://www.easychair.org/conferences/?conf=ramics2014.

RAMiCS2014-CFP3.pdf       RAMiCS2014-CFP3.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/conferences/?conf=ramics2014.

All papers will be formally reviewed. As with former RAMiCS conferences, the Proceedings will be published the proceedings in the series Lecture Notes in Computer Science, ready at the conference. Submissions must be in English, in Postscript or 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 (accepted papers must be produced with LaTeX). Additional material may be provided by a clearly marked appendix or a reference to a manuscript on a website. This may be considered at the discretion of the PC. Deviation from these requirements may cause immediate rejection. One author of each accepted paper is expected to present the paper at the conference.
Formatting instructions and the LNCS style files can be obtained via: http://www.springer.de/comp/lncs/authors.html.