[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                  Proof Systems for Program Logics (PSPL 2010)
                     Saturday 10th July 2010, Edinburgh, UK

                  A LICS 2010-affiliated workshop at FLoC 2010

                   http://homepages.inf.ed.ac.uk/als/PSPL2010/

REGISTRATION: Now open. (Early registration discounts apply until May 17th.)

STUDENT GRANTS: Still available. Enquiries to pspl2...@easychair.org

PROGRAMME:

Invited talks:

   * Recent developments in concurrent program logics
     Viktor Vafeiadis (University of Cambridge)

   * Proof Systems for Hybrid System Logics
     Andre Platzer (Carnegie Mellon University)

Discussion session:

   * Challenge topics in PSPL
     Led by Peter O'Hearn and Alex Simpson

Contributed talks:

   * A simple proof system for lock-free concurrency
     Luis Caires, Carla Ferreira and Antonio Ravara (Universidade Nova
de Lisboa)

   * Tableau-like automata-based axiomatization for
        Propositional Linear Temporal Logic
     Nikolay Shilov (Ershov Institute of Informatics Systems, Novosibirsk)

   * Towards a Cut-free Sequent Calculus for Boolean BI
     Sungwoo Park and Jonghyun Park (Pohang University of Science and
Technology)

   * A Developer-oriented Hoare Logic
     Holger Gast (University of Tuebingen)

   * A Proof System for Reasoning about Probabilistic Concurrent Processes
     Matteo Mio (University of Edinburgh)

   * A multi-modal dependent type theory for representing
        data accessibility in a network
     Giuseppe Primierio (Ghent University)

-- 
Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK
Email: alex.simp...@ed.ac.uk             Tel: +44 (0)131 650 5113
Web: http://homepages.inf.ed.ac.uk/als   Fax: +44 (0)131 651 1426





-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.


Reply via email to