[Om-announce] RAMiCS 2023 - Call for participation

[Michael Winter]

(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

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



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/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20230202/9a35194a/attachment-0001.htm>