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:
- 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/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.
