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@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 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. For more details see: http://homepages.inf.ed.ac.uk/als/PSPL2010/ -- Alex Simpson, LFCS, School of Informatics, Univ. of Edinburgh, UK Email: Alex.Simpson@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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]