[PL-sem-jr] upcoming talks

[Richard Cobbe]

PL Seminar, Jr.
Tuesday, July 11
1-3 PM  WVH 166
================
Matt Goldfield (Brandeis) will present Harry Mairson's paper, "From
Hilbert Spaces to Dilbert Spaces".

Upcoming Talks
--------------
July 18: Matt Might: abstract interpretation & other static analysis
         techniques
July 25: Sam Tobin-Hochstatd: nominal abstract syntax & nominal logic
Aug 1: Ryan Culpepper: The PLT Unit System