From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9968 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Michael Winter Newsgroups: gmane.science.mathematics.categories Subject: RAMiCS2020 - 2nd CFP Date: Fri, 26 Jul 2019 19:45:08 +0000 Message-ID: Reply-To: Michael Winter Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="135896"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Sat Jul 27 16:02:37 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hrNHR-000ZDe-8a for gsmc-categories@m.gmane.org; Sat, 27 Jul 2019 16:02:37 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:36621) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hrNGb-0002B4-I8; Sat, 27 Jul 2019 11:01:45 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hrNFr-000206-L4 for categories-list@mlist.mta.ca; Sat, 27 Jul 2019 11:00:59 -0300 Accept-Language: en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9968 Archived-At: 2nd CALL FOR PAPERS=0A= =0A= 18th International Conference on=0A= Relational and Algebraic Methods in Computer Science=0A= RAMiCS 2020=0A= =0A= 08. April to 11. April 2020, Palaiseau, France=0A= URL: http://ramics18.gforge.inria.fr/=0A= =0A= =0A= IMPORTANT DATES:=0A= =0A= Abstract Submission: 06. October 2019=0A= Paper Submission: 13. October 2019=0A= Author Notification: 15. December 2019=0A= Final Version: 16. January 2020=0A= RAMiCS 2020: 08. April to 11. April 2020=0A= =0A= =0A= GENERAL INFORMATION:=0A= =0A= Since 1994, the RAMiCS conference series has been the main venue for=0A= research on relation algebras, Kleene algebras and similar algebraic=0A= formalisms, and their applications as conceptual and methodological=0A= tools in computer science and beyond.=0A= =0A= =0A= TOPICS:=0A= =0A= We invite submissions in the general fields of algebras relevant to=0A= computer science and applications of such algebras. Topics include but=0A= are not limited to:=0A= =0A= * Theory=0A= - algebras such as semigroups, residuated lattices, semirings,=0A= Kleene algebras, relation algebras and quantales=0A= - their connections with program logics and other logics=0A= - their use in the theories of automata, concurrency, formal languages,= =0A= games, networks and programming languages=0A= - the development of algebraic, algorithmic, category-theoretic,=0A= coalgebraic and proof-theoretic methods for these theories=0A= - their formalisation with theorem provers=0A= =0A= * Applications=0A= - tools and techniques for program correctness, specification and=0A= verification=0A= - quantitative and qualitative models and semantics of computing=0A= systems and processes=0A= - algorithm design, automated reasoning, network protocol analysis,=0A= social choice, optimisation and control=0A= - industrial applications=0A= =0A= WATA 2020=0A= =0A= WATA 2020, the 10th International Workshop on Weighted Automata: Theory and= =0A= Applications, will take place just after RAMICS, from 14 to 17 April, in=0A= Marseille. We encourage participants to combine the two events.=0A= =0A= SUBMISSION INSTRUCTIONS:=0A= =0A= Submission is via EasyChair at=0A= =0A= https://www.easychair.org/conferences/?conf=3Dramics2020=0A= =0A= All papers will be peer-reviewed by at least three referees. The=0A= proceedings will be published in an LNCS volume by Springer, ready at=0A= the conference. Submissions must not be published or under review for=0A= publication elsewhere. Submissions must be in English using a PDF not=0A= exceeding 16 pages in LNCS style. Submissions must provide sufficient=0A= information to judge their merits. Additional material may be provided=0A= in a clearly marked appendix or by a reference to a manuscript on a web=0A= site. Experimental data, software or mathematical components for theorem=0A= provers must be available in sufficient detail for referees. Deviation=0A= from these requirements may lead to rejection.=0A= =0A= One author of each accepted paper is expected to present the paper at=0A= the conference. Accepted papers must be produced with LaTeX. Formatting=0A= instructions and LNCS style files are available at=0A= http://www.springer.de/comp/lncs/authors.html=0A= =0A= As for earlier RAMiCS conferences, we intend to publish a journal=0A= special issue with revised and extended versions of a selection of the=0A= best papers.=0A= =0A= =0A= COMMITTEES:=0A= =0A= Organising Committee=0A= --------------------=0A= =0A= Conf. & PC Co-Chair: Peter Jipsen, Chapman University, USA=0A= Conf. & PC Co-Chair: Uli Fahrenberg, =C9cole polytechnique, France=0A= Conf. & PC Co-Chair: Michael Winter, Brock University, Canada=0A= =0A= Programme Committee=0A= -------------------=0A= =0A= Roland Backhouse University of Nottingham, UK=0A= Rudolf Berghammer Kiel University, Germany=0A= Manuel Bodirsky TU Dresden, Germany=0A= Jules Desharnais Laval University, Canada=0A= Amina Doumane PPS, France=0A= Uli Fahrenberg =C9cole polytechnique, France=0A= Hitoshi Furusawa Kagoshima University, Japan=0A= Mai Gehrke LIAFA, France=0A= Walter Guttmann University of Canterbury, New Zealand=0A= Robin Hirsch University College London, UK=0A= Peter H=F6fner CSIRO, Australia=0A= Marcel Jackson La Trobe University, Australia=0A= Jean-Baptiste Jeannin University of Michigan, USA=0A= Peter Jipsen Chapman University, USA=0A= Stef Joosten Open Universiteit, Netherlands=0A= Wolfram Kahl McMaster University, Canada=0A= Dexter Kozen Cornell University, USA=0A= Tadeusz Litak FAU Erlangen-N=FCrnberg, Germany=0A= Wendy MacCaull St. Francis Xavier University, Canada=0A= Roger Maddux Iowa State University, USA=0A= Annabelle McIver Macquarie University, Australia=0A= Szabolcs Mikulas University of London, UK=0A= Ali Mili NJIT, USA=0A= Jose Oliveira University of Minho, Portugal=0A= Alessandra Palmigiano Technical University of Delft, Netherlands=0A= Damien Pous CNRS - ENS Lyon, France=0A= Mehrnoosh Sadrzadeh Queen Mary University of London, UK=0A= Luigi Santocanale LIS, Aix-Marseille Universit=E9, France=0A= John Stell University of Leeds, UK=0A= Georg Struth University of Sheffield, UK=0A= Michael Winter Brock University, Canada=0A= =0A= =0A= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]