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.
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
