The Coq mailing list

[Damien Pous <Damien.Pous AT ens-lyon.fr>]

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