[ 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.