18th International Conference on
Relational and Algebraic Methods in Computer Science
RAMICS 2020

View on École polytechnique from the lake

RAMICS 2020 will take place at École polytechnique in Palaiseau, close Paris, from 8 to 11 April 2020.

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

Theoretical aspects include semigroups, residuated lattices, semirings, Kleene algebras, relation algebras, quantales and other algebras; their connections with program logics and other logics; their use in the theories of automata, concurrency, formal languages, games, networks and programming languages; the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories; their formalisation with theorem provers.

Statue commemorating the role of
      students of École polytechnique in the defence of Paris in 1814

Applications include tools and techniques for program correctness, specification and verification; quantitative and qualitative models and semantics of computing systems and processes; algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control.

WATA 2020

WATA 2020, the 10th International Workshop on Weighted Automata: Theory and Applications, will take place just after RAMICS, from 14 to 17 April, in Marseille. We encourage participants to combine the two events.

Invited Speakers

To be announced

Venue

RAMICS 2020 will take place at LIX, the Computer science lab of École polytechnique, in Palaiseau, 20 km south of Paris and easily accessible from Paris by public transportation.

From Paris, the standard way to reach École polytechnique is to take the RER B to the station Massy-Palaiseau and then take a bus 91.06 to the station Polytechnique laboratoires. The bus stop at Massy-Palaiseau is located to the left of the train station (the RER B side), the second-to-last bus stop when walking away from Paris. The following Google map shows important locations.

Once at the lab, ring the bell and head to the reception to the right.

The following link to the RATP web site gives instructions for reaching our lab from the Denfert-Rochereau station in Paris.

Submission instructions

Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2020.

All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style.

Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection.

One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html.

As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers.

Important dates

RAMICS 2020 Sponsors

Chaire ISC logo LIX logo Inria logo

Contact

ramics18-info@lists.gforge.inria.fr