(Apologies for multiple posting)
CALL FOR PARTICIPATION
20th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2023
3 to 6 April 2023, Technologiezentrum Augsburg, Germany
IMPORTANT DATES:
Registration deadline: February 28, 2023
RAMiCS 2021: 3 to 6 April 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, as a
physical conference. There are no conference fees but, due to limited
resources, it is subject to approval by the conference organisers.
REGISTRATION
Participating at the conference dinner can take place at cost price
(to be paid on site). To register for the conference please refer to the
registration section of https://ramics20.lis-lab.fr/#registration.
PROGRAM AND INVITED TALKS
The RAMiCS 2023 program features 3 invited talks, 17 contributed
talks, and 7 short talks. The invited talks are:
Alexander Knapp, Augsburg University, Germany
Specifying Event/Data-based Systems
John Stell, University of Leeds, UK
Algebra and Logic in Granularity
Valeria Vignudelli, CNRS/ENS Lyon, France
Equational Theories and Distances for Computational Effects
For more details, see
https://ramics20.lis-lab.fr/accepted.html
ORGANIZING COMMITTEE:
Conf. & PC Co-Chair: Roland Glück, German Aerospace Center, Germany
Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France
Conf. & PC Co-Chair: Michael Winter, Brock University, Canada
For more information, see https://ramics20.lis-lab.fr/