CALL FOR PARTICIPATION - Relational and Algebraic Methods in Computer Science (RAMiCS)

CALL FOR PARTICIPATION
13th International Conference on
Relational and Algebraic Methods in Computer Science (RAMiCS)
17--20 September 2012, Cambridge University, UK
http://www.cl.cam.ac.uk/conference/ramics13/

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 2 tutorials, 3 invites talks, and 23
reviewed papers. There will also be five student papers
(see the call-for-student-papers on the conference web site).

* Tutorials
Dexter Kozen (Cornell University, USA)
Kleene Algebra with Tests.
Lawrence C. Paulson (Cambridge University, UK)
Tutorial on the Isabelle Theorem Prover.

* Invited Talks

Alexander Kraus (TU Munich, Germany)
Formalized Regular Expression Equivalence and Relation Algebra in Isabelle.
Peter O'Hearn (University College London, UK)
Towards an Axiomatic Approach to Concurrency.
Damien Pous (CNRS Grenoble, France)
Using Relation Algebraic Methods in the Coq Proof Assistant.

Registration closes 10 September 2012.
------------

Organisation
-------------
Programme Committee
Rudolf Berghammer (Kiel, Germany)
Jules Desharnais (Laval U., Canada)
Harrie de Swart (Rotterdam, Netherlands)
Marc Frappier (Sherbroooke, Canada)
Hitoshi Furusawa (Kagoshima, Japan)
Timothy G. Griffin (Cambridge, UK; General Chair)
Peter Höfner (NICTA, Australia)
Ali Jaoua (Doha, Qatar)
Peter Jipsen (Chapman U., USA)
Wolfram Kahl (McMaster U., Canada; PC Chair)
Larissa Meinicke (U. Queensland, Australia)
Bernhard Möller (Augsburg, Germany)
Peter O'Hearn (Queen Mary U., UK)
José Nuno Oliveira (U.~Minho, Portugal)
Ewa Orłowska (Warsaw, Poland)
Matthew Parkinson (Microsoft Research, UK)
Damien Pous (CNRS Grenoble, France)
Holger Schlingloff (Berlin, Germany)
Gunther Schmidt (Munich, Germany)
Renate Schmidt (Manchester, UK)
Georg Struth (Sheffield, UK)
George Theodorakopoulos (Derby, 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
Timothy G. Griffin Conference Chair, Local Organiser
Wolfram Kahl PC Chair
Peter Höfner Publicity



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.