[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