The Coq mailing list

[Peter Höfner <peter.hoefner AT nicta.com.au>]

                       1st CALL FOR PARTICIPATION

                    14th International Conference on
           Relational and Algebraic Methods in Computer Science

                              RAMiCS 2014

                   Marienstatt im Westerwald, Germany
                            April 28 - Mai 1

              http://mathcs.chapman.edu/ramics2014/index.html


The RAMiCS Conference is the main forum for Relational and Algebraic Methods
in Computer Science. Special focus lies on formal methods for software
engineering, logics of programs and links with neighbouring disciplines.

Programme Highlights
--------------------
The conference features 3 invited talks, and 25 reviewed papers.

* Invited Talks:

  Tony Hoare, University of Oxford, UK
       Developments in Concurrent Kleene Algebra

  Alexander Kurz, University of Leicester, UK
       Relation Lifting

  José Nuno Oliveira, Universidade do Minho, Portugal
       Preparing Relation Algebra for “Just Good Enough” Hardware


Registration closes 14 March 2014.
------------


Organisation
-------------
  Programme Committee
    Rudolf Berghammer        (Kiel, Germany)
    Jules Desharnais         (Laval U., Canada)
    Harrie de Swart          (Rotterdam, Netherlands)
    Marc Frappier            (Sherbrooke, Canada)
    Hitoshi Furusawa         (Kagoshima, Japan)
    Timothy G. Griffin       (Cambridge, UK)
    Walter Guttmann          (Canterbury, New Zealand)
    Robin Hirsch             (London, UK)
    Peter Höfner             (NICTA, Australia; Publicity chair)
    Ali Jaoua                (Doha, Qatar)
    Peter Jipsen             (Chapman U., USA; PC co-chair)
    Wolfram Kahl             (McMaster U., Canada; PC co-chair)
    Tadeusz Litak            (Erlangen, Germany)
    Larissa Meinicke         (U. Queensland, Australia)
    Szabolcs Mikulas         (London, UK)
    Bernhard Möller          (Augsburg, Germany)
    Martin E. Müller         (St. Augustin, Germany; General chair)
    José Oliveira            (U. Minho, Portugal)
    Ewa Orłowska             (Warsaw, Poland)
    Matthew Parkinson        (Microsoft Research, UK)
    Damien Pous              (CNRS, France)
    Ingrid Rewitzky          (Stellenbosch, South Africa)
    Holger Schlingloff       (Berlin, Germany)
    Gunther Schmidt          (Munich, Germany)
    Renate Schmidt           (Manchester, UK)
    Georg Struth             (Sheffield, UK)
    George Theodorakopoulos  (Cardiff, UK)
    Michael Winter           (Brock U., Canada)

  Steering Committee
    Rudolf Berghammer  (Kiel, Germany)
    Jules Desharnais   (Laval U., Canada)
    Harrie de Swart    (Rotterdam, Netherlands)
    Ali Jaoua          (Doha, Qatar)
    Bernhard Möller    (Augsburg, Germany)
    Ewa Orłowska       (Warsaw, Poland)
    Gunther Schmidt    (Munich, Germany)
    Renate Schmidt     (Manchester, UK)
    Michael Winter     (Brock U., Canada)

  Organising Committee
    Martin E. Müller, Sankt Augustin, Germany: Conference Chair, Local 
Organiser
    Peter Höfner, NICTA, Australia: Publicity
    Peter Jipsen, Chapman U., USA: PC Co-Chair
    Wolfram Kahl, McMaster U., Canada: PC Co-Chair


________________________________

The information in this e-mail may be confidential and subject to legal 
professional privilege and/or copyright. National ICT Australia Limited 
accepts no liability for any damage caused by this email or its attachments.