[ecoop-info] RAMiCS 2021 - Deadline Extension

luigi.santocanale at lis-lab.fr luigi.santocanale at lis-lab.fr
Wed May 12 17:01:11 CEST 2021

Apologies for multiple copies of this email; please re-distribute as you
see fit.


We have decided to extend the deadlines for RAMiCS 2021 by *two weeks*,
please see below for the new deadlines and the CfP.

                     19th International Conference on
           Relational and Algebraic Methods in Computer Science
                               RAMiCS 2021

               2 to 5 November 2021, CIRM, Marseille, France


    Abstract Submission: 28 May 2021
    Paper Submission: 4 June 2021
    Author Notification: 23 July 2021
    Final Version: 12 August 2021
    RAMiCS 2021: 2 to 5 November 2021


Marcelo Frias, Buenos Aires Institute of Technology, Argentina
Barbara König, Duisburg-Essen University, Germany
Dmitriy Zhuk, Lomonosov Moscow State University, Russia


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.

RAMiCS 2021 will take place at CIRM, the Centre International de
Rencontres Mathématiques at the beautiful Luminy campus close to
Marseille.  Depending on the Covid-19 situation, it will take the form
of a physical conference, a virtual conference, or a hybrid between
the two. There will be no registration fees to the conference. A
limited number of grants, covering lodging and catering, are supplied
by CIRM and the Archimède Institute.


We invite submissions in the general fields of algebras relevant to
computer science and applications of such algebras. Topics include but
are not limited to:

* Theory
   - algebras such as semigroups, residuated lattices, semirings,
     Kleene algebras, relation algebras and quantales
   - 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

* Applications
   - tools and techniques for program correctness, specification and
   - quantitative and qualitative models and semantics of computing
     systems and processes
   - algorithm design, automated reasoning, network protocol analysis,
     social choice, optimisation and control
   - industrial applications


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 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

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.


   Organising Committee

   Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France
   Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France
   Conf. & PC Co-Chair: Michael Winter, Brock University, Canada
   Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France

   Programme Committee

   Bahareh Afshari, University of Amsterdam, Holland
   Christel Baier,  Technische Universität Dresden, Germany
   Manuel Bodirsky,  Technische Universität Dresden, Germany
   Ignacio Fábregas, Universidad Complutense de Madrid, Spain
   Uli Fahrenberg, Ecole polytechnique, France
   Hitoshi Furusawa, Kagoshima University, Japan
   Mai Gehrke, LJAD CNRS, France
   Silvio Ghilardi, Università degli Studi di Milano, Italy
   Roland Glueck, German Aerospace Center, Germany
   Walter Guttmann, University of Canterbury, New Zealand
   Peter Höfner, Australian National University, Australia
   Ali Jaoua, Qatar University, Qatar
   Peter Jipsen, Chapman University, USA
   Sebastiaan Joosten,  Dartmouth College, USA
   Laura Kovacz, Technische Universität Wien, Austria
   Tadeusz Litak, Erlangen-Nürnberg University, Germany
   Roger Maddux, Iowa State University, USA
   Dale Miller, Ecole polytechnique, France
   Martin Mueller, University of Augsburg, Germany
   Daniela Petrisan, IRIF, University Paris 7, France
   Damien Pous, CNRS, ENS Lyon, France
   David Pym, University College, London, UK
   Mehrnoosh Sadrzadeh, University College, London, UK
   Luigi Santocanale, LIS, Aix-Marseille University, France
   Georg Struth, University of Sheffield, UK
   Sam van Gool, IRIF, University Paris 7, France
   Michael Winter, Brock University, Canada

More information about the ecoop-info mailing list