public inbox for
 help / color / mirror / Atom feed
* categories: RAMiCS 2023 - Call for participation
@ 2023-02-02 14:54 Michael Winter
  0 siblings, 0 replies; only message in thread
From: Michael Winter @ 2023-02-02 14:54 UTC (permalink / raw)
  To: Michael Winter

(Apologies for multiple posting)


20th International Conference on

Relational and Algebraic Methods in Computer Science

RAMiCS 2023

3 to 6 April 2023, Technologiezentrum Augsburg, Germany


Registration deadline: February 28, 2023

RAMiCS 2021: 3 to 6 April 2023


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.


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


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


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

[For admin and other information see: ]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2023-02-02 21:38 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-02-02 14:54 categories: RAMiCS 2023 - Call for participation Michael Winter

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox