From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10405 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 - 2nd CFP Date: Wed, 24 Feb 2021 18:15:07 +0100 Message-ID: Reply-To: luigi.santocanale@lis-lab.fr 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="31676"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Thu Feb 25 16:59:15 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 1lFJ2p-000861-2s for gsmc-categories@m.gmane-mx.org; Thu, 25 Feb 2021 16:59:15 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:45670) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lFIxy-0007nk-6k; Thu, 25 Feb 2021 11:54:14 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lFIwl-0004hz-Nn for categories-list@rr.mta.ca; Thu, 25 Feb 2021 11:52:59 -0400 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10405 Archived-At: 2nd CALL FOR PAPERS 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: Abstract Submission: 14 May 2021 Paper Submission: 21 May 2021 Author Notification: 9 July 2021 Final Version: 30 July 2021 RAMiCS 2021: 2 to 5 November 2021 INVITED TALKS: Barbara K=C3=B6nig, Duisburg-Essen University, Germany Wendy MacCaull, St. Francis Xavier University, Canada Dmitriy Zhuk, Lomonosov Moscow State University, Russia 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 2021 will take place at CIRM, the Centre International de Rencontres Math=C3=A9matiques at the beautiful Luminy campus close to Marseille. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. There will be no inscriptions fees to the conference. A limited number of grants, covering lodging and catering, are supplied by CIRM and the Archim=C3=A8de Institute. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=3Dramics2021 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising 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 Programme Committee ------------------- Bahareh Afshari, University of Amsterdam, Holland Christel Baier, Technische Universit=C3=A4t Dresden, Germany Manuel Bodirsky, Technische Universit=C3=A4t Dresden, Germany Ignacio F=C3=A1bregas, Universidad Complutense de Madrid, Spain Uli Fahrenberg, Ecole polytechnique, France Marcelo Frias, Buenos Aires Institute of Technology, Argentina Hitoshi Furusawa, Kagoshima University, Japan Mai Gehrke, LJAD CNRS, France Silvio Ghilardi, Universit=C3=A0 degli Studi di Milano, Italy Roland Glueck, German Aerospace Center, Germany Walter Guttmann, University of Canterbury, New Zealand Peter H=C3=B6fner, Australian National University, Australia Ali Jaoua, Qatar University, Qatar Peter Jipsen, Chapman University, USA Sebastiaan Joosten, Dartmouth College, USA Laura Kovacz, Technische Universit=C3=A4t Wien, Austria Tadeusz Litak, Erlangen-N=C3=BCrnberg University, Germany Roger Maddux, Iowa State University, USA Dale Miller, Ecole polytechnique, France Martin Mueller, University of Augsburg, Germany Daniela Petrisan, IRIF, University Paris 7, France Damien Pous, CNRS, ENS Lyon, France David Pym, University College, London, UK Mehrnoosh Sadrzadeh, University College, London, UK Luigi Santocanale, LIS, Aix-Marseille University, France Georg Struth, University of Sheffield, UK Sam van Gool, IRIF, University Paris 7, France Michael Winter, Brock University, Canada [For admin and other information see: http://www.mta.ca/~cat-dist/ ]