[TYPES/announce] Proof Systems for Program Logics 2010: student grants available

Alex Simpson Alex.Simpson at ed.ac.uk
Thu Mar 25 09:58:27 EDT 2010

Further to the CFP for PSPL2010, we are pleased to announce that a
number of grants for PhD students to attend this workshop are available.
For further information, please email:

     pspl2010 at easychair.org

stating "Student grants" in the subject header.


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

                 A LICS 2010-affiliated workshop at FLoC 2010

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)


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.

For more details see:


Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK
Email: Alex.Simpson at 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.

More information about the Types-announce mailing list