[Pl-seminar] Upcoming schedule

[Mitchell Wand]

Several people have already asked me about the talk that was originally
announced for 2/11.  Adam Chlipala has graciously agreed to move his talk
back by a week.

So the schedule, as best I can tell, is:

Wed 2/11 Ranjit Jhala, Liquid Types
Wed 2/18 Adam Chlipala, "Mechanized Semantics with Definitional Compilers"

That's all I have on the schedule.  Please come give a talk!

And again, sorry for the confusion.

--Mitch
-------------- next part --------------
HTML attachment scrubbed and removed