coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CALL FOR PARTICIPATION - Relational and Algebraic Methods in Computer Science (RAMiCS)

From: Peter Höfner <Peter.Hoefner AT nicta.com.au>
To: Peter Höfner <Peter.Hoefner AT nicta.com.au>
Cc: uqkwilli AT itee.uq.edu.auei, acl2 AT cs.utexas.edu, action-semantics AT brics.dk, agda AT lists.chalmers.se, agents AT cs.umbc.edu, aiia AT dis.uniroma1.it, aila AT unicam.it, alg.announce AT catalyse.net, apng-all AT apng.org, appsem AT tcs.informatik.uni-muenchen.de, asci AT twi.tudelft.nl, asl AT vassar.edu, cade AT itu.dk, caml-list AT inria.fr, categories AT mta.ca, ccl AT ps.uni-sb.de, cipher-cfp AT ieee-security.org, clean-list AT science.ru.nl, clp AT comp.nus.edu.sg, coalgebras AT iti.cs.tu-bs.de, comlab AT comlab.ox.ac.uk, complog AT cs.nmsu.edu, comprox AT doc.ic.ac.uk, compulognet-parimp AT dia.fi.upm.es, concurrency AT cwi.nl, coq-club AT inria.fr, coq-club AT pauillac.inria.fr, cphc-conf AT jiscmail.ac.uk, csd AT lists.ut.ee, csl AT dbai.tuwien.ac.at, curry AT lists.RWTH-Aachen.DE, DMANET AT zpr.uni-koeln.de, eacsl AT dimi.uniud.it, eapls AT jiscmail.ac.uk, ecoop-info AT ecoop.org, elsnet-list AT let.uu.nl, finite-model-theory AT lists.rwth-aachen.de, fmics AT inrialpes.fr, fom AT cs.nyu.edu, formal-methods AT cs.uidaho.edu, gdr.gpl AT imag.fr, grin AT di.unipi.it, haskell AT haskell.org, hol-info AT lists.sourceforge.net, humanist AT lists.princeton.edu, ifmsig AT cs.tcd.ie, ipa AT win.tue.nl, isabelle-users AT cs.cam.ac.uk, jml AT cs.iastate.edu, kgs-list AT logic.at, ki-inf AT uni-koblenz.de, kr AT kr.org, lfcs-interest AT dcs.ed.ac.uk, lics AT informatik.hu-berlin.de, linear AT cs.stanford.edu, list AT prooftheory.org, loco AT csc.liv.ac.uk, logic-announce AT uclink4.berkeley.edu, logic-list AT helsinki.fi, logic AT cs.stanford.edu, logik AT math.uni-freiburg.de, lpnmr AT cs.engr.uky.edu, lprolog AT cs.umn.edu, math.logik AT gmx.net, Maude-users AT cs.uiuc.edu, mercury-users AT cs.mu.OZ.AU, moca-announce AT list.it.uu.se, newsletter AT aarinc.org, nvti-list AT cwi.nl, nwpt-info AT sool.ioc.ee, om-announce AT openmath.org, papm AT informatics.ed.ac.uk, pept AT yl.is.s.u-tokyo.ac.jp, petrinet AT informatik.uni-hamburg.de, pmt6sbc AT leeds.ac.uk, prog-lang AT diku.dk, prole AT babel.ls.fi.upm.es, proof-complexity AT math.cas.cz, puml-list AT cs.york.ac.uk, pvs AT csl.sri.com, relmics-l AT mcmaster.ca, rewriting AT listes.ens-lyon.fr, rewriting AT m.aist.go.jp, seworld AT cs.colorado.edu, sicstus-users-request AT sics.se, softtech AT cs.uu.nl, spin_list AT research.bell-labs.com, stochver AT cs.bham.ac.uk, termtools AT lri.fr, theorem-provers AT ai.mit.edu, theory-logic AT cs.cmu.edu, theory AT cl.cam.ac.uk, theorynt AT listserv.nodak.edu, types-announce AT lists.seas.upenn.edu, vki-list AT dfki.de, zeves AT ora.on.ca
Subject: [Coq-Club] CALL FOR PARTICIPATION - Relational and Algebraic Methods in Computer Science (RAMiCS)
Date: Sun, 15 Jul 2012 15:25:55 +1000

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.

[Coq-Club] CALL FOR PARTICIPATION - Relational and Algebraic Methods in Computer Science (RAMiCS), Peter Höfner, 07/15/2012