[ 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/ A new workshop bringing together researchers working on any aspect of the design, study and application of proof systems for program logics. Invited speakers: Andre Platzer (Carnegie Mellon University) Viktor Vafeiadis (University of Cambridge) CALL FOR CONTRIBUTED TALKS The emphasis of the workshop is on reporting current and ongoing research. 30-minute contributed talks will be selected on the basis of two-page abstracts. Submission deadline for two-page abstracts: Monday 12th April 2010. Author notification : Monday 26th April 2010. Possible topics include, but are not restricted to: * Proof systems for modular/compositional verification * Proof systems for substructural/spatial/nominal logics * Proof systems for concurrent/mobile/distributed systems * Proof systems for timed/continuous/probabilistic/stochastic/hybrid systems * Structural proof theory (e.g. natural deduction and sequent calculus systems) for program logics * Proof-theoretic mechanisms for induction/coinduction/fixed points * Proof systems formalizing operational semantics * Proof systems for program synthesis * Constructive type theories and logics for verification/synthesis * Curry-Howard and generalisations to non-functional computation * Proof-theoretic accounts of decidability/complexity results * Completeness and relative completeness proofs for program logics * Proof systems designed to facilitate proof search Abstracts will appear in the FLoC Workhops electronic proceedings. It is planned to follow the workshop with a journal special issue. For more details see: http://homepages.inf.ed.ac.uk/als/PSPL2010/ PROGRAMME COMMITTEE * Luis Caires (Universidade Nova de Lisboa) * Robert Harper (Carnegie Mellon University) * Peter O'Hearn (Queen Mary London) * Dale Miller (INRIA) * Matthew Parkinson (Microsoft Research Cambridge) * Dana Scott (Carnegie Mellon University, Emeritus) * Alex Simpson (Edinburgh) * Luca Vigano (Verona) -- 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.