CALL FOR SHORT CONTRIBUTIONS / POSTERS=0A= =0A= 18th International Conference on=0A= Relational and Algebraic Methods in Computer Science=0A= RAMiCS 2020=0A= =0A= 08 to 11 April 2020, Palaiseau, France=0A= http://ramics18.gforge.inria.fr/=0A= =0A= As a novelty this year, and additionally to the standard CfP, RAMICS=0A= is also calling for short contributions and posters. We are hence=0A= calling for presentations of original, unfinished, already published,=0A= or otherwise interesting work within the topics of the RAMICS=0A= conferences. The submission can be in the form of a poster, an=0A= abstract, a paper submitted to or published at another conference,=0A= etc. Short contributions will *not* be published in the conference=0A= proceedings.=0A= =0A= IMPORTANT DATES:=0A= =0A= Submission: 14 February 2020=0A= Notification: 28 February 2020=0A= =0A= Note that these dates coincide with the ones for WATA 2020, which will=0A= take place just after RAMICS, from 14 to 17 April, in Marseille. We=0A= encourage double submissions of short contributions.=0A= =0A= https://wata2020.lis-lab.fr/=0A= =0A= INVITED TALKS:=0A= =0A= Christel Baier, Technische Universitaet Dresden, Germany=0A= Manfred Droste, Universitaet Leipzig, Germany=0A= Daniela Petrisan, Universite Paris Diderot, France=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= TOPICS:=0A= =0A= We invite short submissions in the general fields of algebras relevant=0A= to computer science and applications of such algebras. Topics include=0A= but 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= SUBMISSION INSTRUCTIONS:=0A= =0A= Please send your short submission to=0A= =0A= ramics18-info@lists.gforge.inria.fr=0A= =0A= by 14 February 2020.=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 Warsaw University,Poland=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 University College 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= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]