Mini-symposia at U. Iowa:
October, 2013
on Programming Languages.
May, 2013
on Computational Logic.
The PLPV workshop pages are
here
.