[TYPES/announce] RAMiCS 2023 - Third call for papers

Luigi Santocanale luigi.santocanale at lis-lab.fr
Fri Sep 9 10:20:32 EDT 2022


(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://urldefense.com/v3/__https://ramics20.lis-lab.fr/__;!!IBzWLUs!UpoPqAnNHJkSI6SFXO--ahknU1Ah8SFfEJQWhmCRfgeRv3TuLwziFRFG0SxrBab4JM4xr1NYf4TXWYk2xRfvTdloM3Bjp-jBZd7EIEeeyDzB$  

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://urldefense.com/v3/__https://www.easychair.org/conferences/?conf=ramics2023__;!!IBzWLUs!UpoPqAnNHJkSI6SFXO--ahknU1Ah8SFfEJQWhmCRfgeRv3TuLwziFRFG0SxrBab4JM4xr1NYf4TXWYk2xRfvTdloM3Bjp-jBZd7EIAGY7Vot$  

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 
https://urldefense.com/v3/__http://www.springer.de/comp/lncs/authors.html__;!!IBzWLUs!UpoPqAnNHJkSI6SFXO--ahknU1Ah8SFfEJQWhmCRfgeRv3TuLwziFRFG0SxrBab4JM4xr1NYf4TXWYk2xRfvTdloM3Bjp-jBZd7EII1M62sc$  

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220909/171814a8/attachment-0001.htm>


More information about the Types-announce mailing list