The Coq mailing list

[Michael Winter <mwinter AT brocku.ca>]

(Apologies for multiple posting)

 

THIRD AND LAST CALL FOR PAPERS

 

 

                     20th International Conference on

           Relational and Algebraic Methods in Computer Science

                               RAMiCS 2023

 

 

          3 to 6 April 2023, Technologiezentrum Augsburg, Germany

                       https://ramics20.lis-lab.fr/

 

 

 

IMPORTANT DATES:

 

    Abstract Submission:    September 23, 2022

    Paper Submission:       September 30, 2022

    Author Notification:    December 09, 2022

    Final Version:          January 06, 2023

    RAMiCS 2023:            April 03-06, 2023

 

 

 

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.

 

RAMiCS 2023 will take place at the Technologiezentrum Augsburg. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two.

 

 

 

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

 

 

INVITED SPEAKERS

    Alexander Knapp, Augsburg University, Germany

    John Stell, University of Leeds, UK

    Valeria Vignudelli, CNRS/ENS Lyon, France

 

 

 

SUBMISSION INSTRUCTIONS:

 

Submission is via EasyChair at

 

   https://www.easychair.org/conferences/?conf=ramics2023

 

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: Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt, Germany

   Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France

   Conf. & PC Co-Chair: Michael Winter, Brock University, Canada

 

 

   Programme Committee

   -------------------

 

    Adriana Balan, University Politechnic of Bucharest, Romania

    Manuel Bodirsky, Technical University Dresden, Germany

    Paul Brunet, Paris-East Créteil University, France

    Miguel Couceiro, Loria, Nancy, France

    Manfred Droste, Leipzig University, Germany

    Uli Fahrenberg, Epita, France

    Hitoshi Furusawa, Kagoshima University, Japan

    Wesley Fussner, University of Bern, Switzerland

    Silvio Ghilardi, University of Milan, Italy

    Roland Glueck, German Aerospace Center, Augsburg, Germany

    Walter Guttmann, University of Canterbury, New Zealand

    Robin Hirsch, University College London, UK

    Peter Höfner, Australian National University, Canberra, Australia

    Marcel Jackson, La Trobe University, Melbourne, Australia

    Ali Jaoua, Qatar University, Qatar

    Peter Jipsen, Chapman University, Orange, USA

    Sebastian Joosten, Dartmouth College, Hanover, USA

    Barbara König, University of Duisburg/Essen, Germany

    Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada

    Roger Maddux, Iowa State University, Ames, USA

    Nelma Moreira, University of Porto, Portugal

    Martin Mueller, University of Applied Sciences, Bonn-Rhein-Sieg, Germany

    Damien Pous, CNRS, ENS Lyon, France

    Luigi Santocanale, Aix-Marseille University, France

    Ana Sokolova, University of Salzburg, Austria

    Sara Ugolini, Artificial Intelligence Research Institute of the CSIC, Spain

    Michael Winter, Brock University, St. Catharines, Canada

    Sam van Gool, University Paris, France