[Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

We will not meet on 3/27 or 4/3.  Our first presentation for the
Spring will be on 4/10.  Karen Zee will present "Write Barrier Removal
by Static Analysis". 

Kindly note that due to scheduling conflicts, we will meet from 930 to
1130 for the Spring quarter.  Set your alarms!

--Mitch

Upcoming presentations:

4/10 Karen Zee, MIT, "Write Barrier Removal by Static Analysis"

5/1  Alan Feuer: the Safe C Runtime Analyzer

Most meetings will be 930-1130 in 306 EG.