[ecoop-info] [CFP] RAMiCS 2017

Damien Pous Damien.Pous at ens-lyon.fr
Mon Sep 5 13:40:55 CEST 2016

First Call for Papers


16th International Conference on


(RAMiCS 2017)

May 15-19, 2017

Lyon, France




For more than two decades, the RAMiCS conferences 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.


We invite submissions in the general field of algebraic structures
relevant to computer science and on applications of such
algebras. Topics of the conference include, but are not limited to the

  * algebraic structures from semigroups, residuated lattices and
semirings to Kleene algebras, relation algebras and quantales
  * other algebras relevant to the theory of automata, concurrency,
formal languages, games, networks, programming languages and social
  * algorithmic, category-theoretic, coalgebraic or proof-theoretic
methods for such algebras
  * their formalisation with automated and interactive theorem provers

  * tools and techniques for the verification and correctness of
sequential and concurrent programs
  * quantitative and qualitative models for computing systems
  * logics of programs, e.g., modal, dynamic, interval, temporal or
resource logics, logics for games, social choice and distributed
  * design of algorithms, network protocol analysis, optimisation and control


  * Annabelle McIver (Macquarie University, Sydney
  * Jean-Eric Pin (CNRS, IRIF, Paris)
  * Alexandra Silva (University College, London)


  Abstract Submission:  2016, Nov 25
  Paper Submission:     2016, Dec 2
  Author Notification:  2017, Feb 3
  Camera-ready papers:  2017, Feb 24
  RAMiCS 2017: 2017, May 15-19


Submission is via EasyChair at


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 be in English, in PDF format and
should not exceed 16 pages in LNCS style. Submissions must be
unpublished, not under review for publication elsewhere and 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 reviewers.  Deviation from these requirements may lead to

Accepted papers must be produced with LaTeX. One author of
each accepted paper is expected to present the paper at the
conference. Formatting instructions
and  LNCS style files can be obtained at:


  Conference Chair:
   Damien Pous, CNRS, France

  Programme Chairs:
   Peter Höfner, NICTA, Australia
   Georg Struth, U Sheffield, UK,

  Programme Committee:
   Luca Aceto, Reykjavik U, Iceland
   Rudolf Berghammer, U Kiel, Germany
   Filippo Bonchi, CNRS, France
   Jules Desharnais, U Laval, Canada
   Hitoshi Furusawa, Kagoshima U,  Japan
   Tim Griffin, U Cambridge, UK
   Walter Guttmann, U Canterbury, New Zealand
   Robin Hirsch, UCL, UK
   Peter Höfner, Data61, CSIRO, Australia
   Marcel Jackson, LaTrobe U, Australia
   Jean-Baptiste Jeannin, Samsung, USA
   Peter Jipsen , Chapman U, USA
   Christian Johansen, U Oslo, Norway
   Wolfram Kahl,  McMaster U, Canada
   Dexter Kozen, Cornell U, USA
   Szabolcs Mikulas, Birkbeck U, UK
   Bernhard Möller, U Augsburg, Germany
   José N. Oliveira,  U Minho, Portugal
   Damien Pous, CNRS, France
   Georg Struth, U Sheffield, UK,
   Pascal Weil, CNRS, France
   Michael Winter, Brock U, Canada

More information about the ecoop-info mailing list