[PL-sem-jr] upcoming talks
Richard Cobbe
cobbe at ccs.neu.edu
Mon Jul 10 19:31:27 EDT 2006
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
More information about the Pl-sem-jr
mailing list