[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Coq clubbers, 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.