[PRL] Private pl-seminar Wed 5/14

[Mitchell Wand]

In place of public pl-seminar, we will hold a PRL-only seminar.  I
believe the program will be roughly as follows:

1.  Presentation Workshop (aka Torture chamber):  Viera will present. 

2.  Open Problems Session.  Matthias will present "Embedded
    Languages"; Mitch will present "Making Bulletproof Programming
    Palatable."

--Mitch