15-18 May 2017
Lyon, France
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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam