[ 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

"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:

Early registration deadline is 19 December 2008!

See you in Savannah,

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.

Reply via email to