From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=DATE_IN_PAST_06_12, RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 16342 invoked from network); 2 Feb 2023 21:38:40 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 2 Feb 2023 21:38:40 -0000 Received: from rr.mta.ca ([198.164.44.159]:41094) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pNhGx-0007sy-S5; Thu, 02 Feb 2023 17:37:35 -0400 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pNhGb-0002Ae-CL for categories-list@rr.mta.ca; Thu, 02 Feb 2023 17:37:13 -0400 From: Michael Winter To: Michael Winter Subject: categories: RAMiCS 2023 - Call for participation Date: Thu, 2 Feb 2023 14:54:33 +0000 Accept-Language: en-US Content-Language: en-US Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Precedence: bulk Reply-To: Michael Winter Message-Id: (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=FCck, German Aerospace Center, Germany Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, Fran= ce Conf. & PC Co-Chair: Michael Winter, Brock University, Canada For more information, see https://ramics20.lis-lab.fr/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]