* Proof Systems for Program Logics 2010: student grants available
@ 2010-03-25 14:00 Alex Simpson
0 siblings, 0 replies; only message in thread
From: Alex Simpson @ 2010-03-25 14:00 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-03-25 14:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-03-25 14:00 Proof Systems for Program Logics 2010: student grants available Alex Simpson
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).