You are cordially invited to participate in the Seventh ACM SIGPLAN Workshop on Programming Languages meets Program Verification Date: 22 January 2013 Location: Rome, in conjunction with POPL 2013 Program : http://plpv.tcs.ifi.lmu.de/ Edwin Brady will talk at 10:30am on Idris: General Purpose Programming with Dependent Types Further, we have 7 contributed talks on verification of programming languages, complexity and security, and functional reactive programming. Early registration until 31 December 2012! Best regards, Andreas Abel and Tim Sheard -- Andreas Abel <>< Du bist der geliebte Mensch. Theoretical Computer Science, University of Munich Oettingenstr. 67, D-80538 Munich, GERMANY andreas.abel@ifi.lmu.de http://www2.tcs.ifi.lmu.de/~abel/