----- Mensagem encaminhada ----- De: Michael Winter <mwin...@brocku.ca> Para: Michael Winter <mwin...@brocku.ca> Enviadas: Thu, 02 Feb 2023 11:55:28 -0300 (BRT) Assunto: RAMiCS 2023 - Call for participation
(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/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/689663260.37685075.1675353344050.JavaMail.zimbra%40ufba.br.