Call for Papers 17th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2018 29 October – 2 November 2018, Groningen, The http://www.ramics-conference.org/

Important Dates Topics Abstract Submission: 6 April 2018 We invite submissions in the general fields of algebras relevant Paper Submission: 13 April 2018 to computer science and applications of such algebras. Topics Author Notification: 29 June 2018 include but are not limited to: Final Version: 27 July 2018 Theory Programme Committee ∗ algebras such as semigroups, residuated lattices, semirings, Luca Aceto Reykjav´ıkU., Iceland Kleene algebras, relation algebras and quantales; Rudolf Berghammer CAU Kiel, ∗ their connections with program logics and other logics; Jules Desharnais U. Laval, Canada ∗ their use in the theories of automata, concurrency, formal lan- ´ Uli Fahrenberg Ecole Polytechnique, guages, games, networks and programming languages; Hitoshi Furusawa Kagoshima U., Japan ∗ the development of algebraic, algorithmic, category-theoretic, Walter Guttmann U. Canterbury, New Zealand coalgebraic and proof-theoretic methods for these theories; Robin Hirsch University College London, UK ∗ their formalisation with theorem provers. Peter H¨ofner Data61, Australia Marcel Jackson La Trobe U., Australia Applications Jean-Baptiste Jeannin U. of Michigan, USA Peter Jipsen Chapman U., USA ∗ tools and techniques for program correctness, specification Stef Joosten Open U., Netherlands and verification; Wolfram Kahl McMaster U., Canada ∗ quantitative and qualitative models and semantics of comput- Barbara K¨onig U. Duisburg-Essen, Germany ing systems and processes; Dexter Kozen Cornell U., USA ∗ algorithm design, automated reasoning, network protocol Agi Kurucz King’s College London, UK analysis, social choice, optimisation and control. Tadeusz Litak FAU Erlangen-N¨urnberg, Germany ∗ industrial applications Roger Maddux Iowa State U., USA Annabelle McIver Macquarie U., Australia Submission Instructions Szabolcs Mikul´as Birkbeck College, UK Ali Mili NJ Institute of Technology, USA Submission is via EasyChair at Bernhard M¨oller U. Augsburg, Germany https://www.easychair.org/conferences/?conf=ramics17 Jos´eN. Oliveira U. Minho, All papers will be peer-reviewed by at least three referees. The Alessandra Palmigiano TU Delft, Netherlands proceedings will be published in an LNCS volume by Springer, Damien Pous CNRS, France ready at the conference. Submissions must not be published Mehrnoosh Sadrzadeh Queen Mary U., UK or under review for publication elsewhere. Submissions must John Stell U. Leeds, UK be in English using a PDF not exceeding 16 pages in LNCS Georg Struth U. Sheffield, UK style. Submissions must provide sufficient information to judge Michael Winter Brock U., Canada their merits. Additional material may be provided in a clearly Jaap van der Woude TU Eindhoven, Netherlands marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for Steering Committee theorem provers must be available in sufficient detail for referees. Rudolf Berghammer CAU Kiel, Germany Deviation from these requirements may lead to rejection. Jules Desharnais U. Laval, Canada One author of each accepted paper is expected to present the Ali Jaoua U., Qatar paper at the conference. Accepted papers must be produced Peter Jipsen Chapman U., USA with LATEX. Formatting instructions and LNCS style files are Bernhard M¨oller U. Augsburg, Germany available at http://www.springer.de/comp/lncs/authors.html Jos´eN. Oliveira U. Minho, Portugal Ewa Orlowska U. , As for earlier RAMiCS conferences, we intend to publish a jour- UniBW M¨unchen, Germany nal special issue with revised and extended versions of a selection Michael Winter (chair) Brock U., Canada of the best papers.

Organising Committee Stef Joosten Local Organiser, Conference Chair Jules Desharnais PC Co-Chair Walter Guttmann PC Co-Chair Sebastiaan Joosten, U. Twente Publicity Chair