[pl-seminar] Seminar this Friday 330pm

[Aws Albarghouthi <aws@xxxxxxxxxxx>]

Stephen Lee has kindly agreed to tell us this Friday about forest automata and heap verification. Specifically:

http://link.springer.com/chapter/10.1007%2F978-3-642-22110-1_34

He might follow the presentation with a 30min solo violin performance -- but he's not sure; in fact, he think's it's quite unlikely, but he said I can mention it.

We have CS4331 reserved, but I'm not sure it fits us all -- so stay tuned for possible room changes.