[Agda] Call for participation: PLPV 2009
Thorsten Altenkirch
txa at Cs.Nott.AC.UK
Tue Dec 16 00:59:59 CET 2008
Dear Agda & friends,
Programming Languages meets Program Verification (PLPV) 2009
is taking place 20 January 2009 in Savannah Georgia (USA) colocated
with POPL, see
http://sneezy.cs.nott.ac.uk/darcs/plpv09/
"The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic and/or
structural properties of the programming language."
The invited speaker is Manuel Fähndrich, Microsoft Research.
The programme is available online now:
http://sneezy.cs.nott.ac.uk/darcs/plpv09/schedule.html
Early registration deadline is 19 December 2008!
See you in Savannah,
Thorsten
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
More information about the Agda
mailing list