posted by organizer: luigi_santocanale || 2530 views || tracked by 1 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Relational and Algebraic Methods in Computer Science
 
Link: https://ramics19.lis-lab.fr/
 
When Nov 2, 2021 - Nov 2, 2021
Where Marseille
Abstract Registration Due May 14, 2021
Submission Deadline May 21, 2021
Notification Due Jul 9, 2021
Final Version Due Jul 30, 2021
Categories    computer science   general algebra
 

Call For Papers

CALL FOR PAPERS

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

2 to 5 November 2021, CIRM, Marseille, France
https://ramics19.lis-lab.fr/

IMPORTANT DATES:

Abstract Submission: 14 May 2021
Paper Submission: 21 May 2021
Author Notification: 9 July 2021
Final Version: 30 July 2021
RAMiCS 2021: 2 to 5 November 2021

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 2021 will take place at CIRM, the Centre International de
Rencontres Mathématiques at the beautiful Luminy campus close to
Marseille. 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

SUBMISSION INSTRUCTIONS:

Submission is via EasyChair at

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

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: Mai Gehrke, LJAD CNRS, France
Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France
Conf. & PC Co-Chair: Michael Winter, Brock University, Canada
Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France

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

Bahareh Afshari, University of Amsterdam, Holland
Christel Baier, Technische Universität Dresden, Germany
Manuel Bodirsky, Technische Universität Dresden, Germany
Ignacio Fábregas, IMDEA, Spain
Uli Fahrenberg, Ecole polytechnique, France
Marcelo Frias, Buenos Aires Institute of Technology, Argentina
Hitoshi Furusawa, Kagoshima University, Japan
Mai Gehrke, LJAD CNRS, France
Silvio Ghilardi, Università degli Studi di Milano, Italy
Roland Glueck, German Aerospace Center, Germany
Walter Guttmann, University of Canterbury, New Zealand
Peter Höfner, Australian National University, Australia
Ali Jaoua, Qatar University, Qatar
Peter Jipsen, Chapman University, USA
Sebastiaan Joosten, Dartmouth College, USA
Laura Kovacz, Technische Universität Wien, Austria
Tadeusz Litak, Erlangen-Nürnberg University, Germany
Roger Maddux, Iowa State University, USA
Dale Miller, Ecole polytechnique, France
Martin Mueller, University of Augsburg, Germany
Daniela Petrisan, IRIF, University Paris 7, France
Damien Pous, CNRS, ENS Lyon, France
David Pym, University College, London, UK
Mehrnoosh Sadrzadeh, University College, London, UK
Luigi Santocanale, LIS, Aix-Marseille University, France
Georg Struth, University of Sheffield, UK
Sam van Gool, IRIF, University Paris 7, France
Michael Winter, Brock University, Canada

Related Resources

IEEE ICA 2022   The 6th IEEE International Conference on Agents
ACM-Ei/Scopus-CWCBD 2023   2023 4th International Conference on Wireless Communications and Big Data (CWCBD 2023) -EI Compendex
MLANN 2023   2023 Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2023)
ACM-EI/Scopus-ITCC 2023   2023 3rd International Conference on Information Technology and Cloud Computing (ITCC 2023) -EI Compendex
CVIPPR 2023   2023 Asia Conference on Computer Vision, Image Processing and Pattern Recognition (CVIPPR 2023)
IEEE, EI, Scopus-CVIV 2023   2023 5th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2023) -EI Compendex
IEEE ICIVC 2023   IEEE--2023 8th International Conference on Image, Vision and Computing (ICIVC 2023)
MSE 2023   7th International Conference on Materials Science and Engineering
ACM ICCBDC 2023   ACM--2023 7th International Conference on Cloud and Big Data Computing (ICCBDC 2023)
ICMLT--Ei, Scopus 2023   2023 8th International Conference on Machine Learning Technologies (ICMLT 2023)--EI Compendex, Scopus