Final CFP: PLPV 2009

Dear Agda & friends,

please submit papers to PLPV - this year colocated with POPL.

The theme "Programming Languages meet Program Verification" fits well
with the work in the Agda community. We would love to see some
stimulating examples of recent Agda developments or papers about Agda
itself.

Submisson is now open: Please use
http://www.easychair.org/conferences/?conf=plpv09

Cheers,
Thorsten

			   Call For Papers

     Programming Languages meets Program Verification (PLPV) 2009

	       http://sneezy.cs.nott.ac.uk/darcs/plpv09

			   January 20, 2009
			Savannah, Georgia, USA
		      Affiliated with POPL 2009.

Invited Speaker: Manuel Fähndrich, Microsoft Research

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