Call for Participation ----------------------------------------------------- 16th International Conference on RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2017) May 15-18, 2017 Lyon, France http://ramics-conference.org ----------------------------------------------------- GENERAL INFORMATION: For more than two decades, the RAMiCS conferences 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. INVITED SPEAKERS: * Annabelle McIver (Macquarie University, Sydney) * Jean-Eric Pin (CNRS, IRIF, Paris) * Alexandra Silva (University College London) PROGRAM: http://ramics-conference.org/program.html REGISTRATION: 204 EUR, by April 16th https://www.azur-colloque.fr/DR07/inscription/inscription/153 Students having difficulties to fund their trip should contact the organisers as soon as possible, we might be able to provide financial help for one or two of them. SPECIAL SESSION ON MECHANISED REASONING: We will organise a special session during Thursday afternoon, 18 of May, on mechanised reasoning for relational and algebraic methods. If you are willing to give a talk during this session, please send us a title and a short abstract by April 16th. Expected topics include - mathematical components for relation algebraic methods in proof assistants such as Agda, Coq or Isabelle, or tools such more specific tools such as RelView - support for automated reasoning with such methods - experiences in using any of these tools and components COMMITTEES: Conference Chair: Damien Pous, CNRS, France Programme Chairs: Peter Höfner, Data61, CSIRO Australia Georg Struth, U Sheffield, UK, Programme Committee: Luca Aceto, Reykjavik U, Iceland Rudolf Berghammer, U Kiel, Germany Filippo Bonchi, CNRS, France Jules Desharnais, U Laval, Canada Hitoshi Furusawa, Kagoshima U, Japan Tim Griffin, U Cambridge, UK Walter Guttmann, U Canterbury, New Zealand Robin Hirsch, UCL, UK Peter Höfner, Data61, CSIRO, Australia Marcel Jackson, LaTrobe U, Australia Jean-Baptiste Jeannin, Samsung, USA Peter Jipsen , Chapman U, USA Christian Johansen, U Oslo, Norway Wolfram Kahl, McMaster U, Canada Dexter Kozen, Cornell U, USA Szabolcs Mikulas, Birkbeck U, UK Bernhard Möller, U Augsburg, Germany José N. Oliveira, U Minho, Portugal Damien Pous, CNRS, France Georg Struth, U Sheffield, UK, Pascal Weil, CNRS, France Michael Winter, Brock U, Canada Local Organisation: Catherine Desplanches