From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10545 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: luigi.santocanale@lis-lab.fr Newsgroups: gmane.science.mathematics.categories Subject: RAMiCS 2021 - Call for participation (onsite/online) Date: Wed, 1 Sep 2021 15:11:35 +0200 Message-ID: Reply-To: luigi.santocanale@lis-lab.fr Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12893"; mail-complaints-to="usenet@ciao.gmane.io" Cc: luigi.santocanale@lis-lab.fr To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Thu Sep 02 13:43:55 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mLl8M-00034j-Sx for gsmc-categories@m.gmane-mx.org; Thu, 02 Sep 2021 13:43:55 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:44544) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mLl4Y-0004Wk-Ij; Thu, 02 Sep 2021 08:39:58 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mLl2z-000343-TA for categories-list@rr.mta.ca; Thu, 02 Sep 2021 08:38:21 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10545 Archived-At: CALL FOR PARTICIPATION (onsite/online) 19th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2021 2 to 5 November 2021, CIRM, Marseille, France https://ramics19.lis-lab.fr/ IMPORTANT DATES: Registration deadline: 12 September 2021 RAMiCS 2021: 2 to 5 November 2021 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 2021 will take place at CIRM, the Centre International de Rencontres Math=C3=A9matiques at the beautiful Luminy campus close to Marseille. It will take the form of a hybrid conference, allowing both onsite and online participation. Participation is free, but subject to approval by the conference organisers. Please register at: https://ramics19.lis-lab.fr/#registration We strongly encourage participation on-site and remark that the CIRM is a very pleasant place for a conference, but understand that some participants will only be able to join online. Please register before September 12, 2021. Note that after this date we might not be able to ensure accommodation at the conference centre and that a late registration fee might apply for online participation. The RAMiCS 2021 program features 3 invited talks and 29 contributed talks. For details, see https://ramics19.lis-lab.fr/accepted.html INVITED TALKS: Marcelo Frias, Buenos Aires Institute of Technology, Argentina Relational Tight Field Bounds for Distributed Analysis of Programs Barbara K=C3=B6nig, Duisburg-Essen University, Germany Fixpoint Games Dmitriy Zhuk, Lomonosov Moscow State University, Russia Quantified Constraint Satisfaction Problem: towards the classification of complexity ORGANIZING COMMITTEE: Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, Fra= nce For more information, see https://ramics19.lis-lab.fr/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]