[ecoop-info] RAMiCS 2021 - Call for short contributions/posters

luigi.santocanale at lis-lab.fr luigi.santocanale at lis-lab.fr
Mon Jul 26 19:52:44 CEST 2021


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

                 2 to 5 November 2021, Marseille, France

Additionally to the standard CfP, RAMiCS is also calling for short
contributions and posters.  We are hence calling for presentations of
original, unfinished, already published, or otherwise interesting work
within the topics of the RAMiCS conferences.  The submission can be in
the form of a poster, an abstract, a paper submitted to or published
at another conference, etc.  Short contributions will *not* be
published in the conference proceedings.


  Submission:          29 August 2021
  Notification:        5 September 2021
  RAMiCS registration: 12 September 2021


Marcelo Frias, Instituto Tecnológico de Buenos Aires, Argentina
Barbara König, Universität Duisburg-Essen, Germany
Dmitriy Zhuk, 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.


We invite short 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

Please send your short submission as a single pdf file to

  ramics2021 at easychair.org

by 29 August 2021.


Luigi Santocanale, Aix-Marseille University, France
Uli Fahrenberg, École polytechnique, France
Mai Gehrke, Université Côte d’Azur, France
Michael Winter, Brock University, Canada

More information about the ecoop-info mailing list