RAMiCS2020 - 2nd CFP

RAMiCS2020 - 2nd CFP

[Michael Winter]

2nd CALL FOR PAPERS

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

               08. April to 11. April 2020, Palaiseau, France
                   URL: http://ramics18.gforge.inria.fr/
        

IMPORTANT DATES:

   Abstract Submission: 06. October 2019
   Paper Submission:    13. October 2019
   Author Notification: 15. December 2019
   Final Version:       16. January 2020
   RAMiCS 2020:         08. April to 11. April 2020


GENERAL INFORMATION:

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.


TOPICS:

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

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.

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.


COMMITTEES:

   Organising Committee
   --------------------

   Conf. & PC Co-Chair: Peter Jipsen, Chapman University, USA
   Conf. & PC Co-Chair: Uli Fahrenberg, École polytechnique, France
   Conf. & PC Co-Chair: Michael Winter, Brock University, Canada

   Programme Committee
   -------------------

   Roland    Backhouse    University of Nottingham, UK
   Rudolf    Berghammer    Kiel University, Germany
   Manuel    Bodirsky    TU Dresden, Germany
   Jules        Desharnais    Laval University, Canada
   Amina        Doumane        PPS, France
   Uli        Fahrenberg    École polytechnique, France
   Hitoshi    Furusawa    Kagoshima University, Japan
   Mai        Gehrke        LIAFA, France
   Walter    Guttmann    University of Canterbury, New Zealand
   Robin        Hirsch        University College London, UK
   Peter        Höfner        CSIRO, Australia
   Marcel    Jackson        La Trobe University, Australia
   Jean-Baptiste    Jeannin        University of Michigan, USA
   Peter        Jipsen        Chapman University, USA
   Stef          Joosten         Open Universiteit, Netherlands
   Wolfram    Kahl        McMaster University, Canada
   Dexter    Kozen        Cornell University, USA
   Tadeusz    Litak        FAU Erlangen-Nürnberg, Germany
   Wendy        MacCaull    St. Francis Xavier University, Canada
   Roger        Maddux        Iowa State University, USA
   Annabelle    McIver        Macquarie University, Australia
   Szabolcs    Mikulas        University of London, UK
   Ali        Mili        NJIT, USA
   Jose        Oliveira    University of Minho, Portugal
   Alessandra    Palmigiano    Technical University of Delft, Netherlands
   Damien    Pous        CNRS - ENS Lyon, France
   Mehrnoosh    Sadrzadeh    Queen Mary University of London, UK
   Luigi        Santocanale    LIS, Aix-Marseille Université, France
   John        Stell        University of Leeds, UK
   Georg        Struth            University of Sheffield, UK
   Michael    Winter            Brock University, Canada




[For admin and other information see: http://www.mta.ca/~cat-dist/ ]