[pl-seminar] Borzoo visit schedul

[Aws Albarghouthi <aws@xxxxxxxxxxx>]

Dear all,

Borzoo Bonakdarpour is visiting -- works on security/formal
methods/distributed systems.

Please sign up to talk to him here:

https://docs.google.com/spreadsheets/d/1SlLeIMJaQ2MYGv59Ou4iRSc8_ooZeUkLiZRRF3J0ooA/edit?usp=sharing

And make sure to attend his talk here:

http://www.cs.wisc.edu/events/3430



-- 
Aws