[PL-sem-jr] Upcoming Talks

[Richard Cobbe]

PL Seminar, Jr.
Tuesday, July 18
1-3pm  WVH 166
================
Matt Might will discuss various methods of static analysis, including
CFA and abstract interpretation.

Upcoming Talks
==============
7/25: Sam Tobin-Hochstadt: nominal abstract syntax & nominal logic
8/1: Ryan Culpepper: the PLT unit system
8/8: David van Horn: Types and Trace Effects (see
<http://www.cs.brandeis.edu/~dvanhorn/abstracts/skalka-smith-vanhorn-jfp06.html>)

Richard