[pl-seminar] Nadia Polikarpova's madPL visit

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

Hi folks,

NadiaÂPolikarpova is visiting us from UCSD on April 15th.

She's doing really amazing work in type-directed program synthesis and she'll give a talk at noon on the 15th (https://cseweb.ucsd.edu/~npolikarpova/).

She'll give a talk 12-1 during the usual pl-seminar slot, but I booked 3310 so we'll look fancier.

Please add yourself to her schedule. I promise it will be worth it!

We have a 10-10.30 slot and the lunch with students. It's totally cool to share a timeslot among 2 students.

https://docs.google.com/document/d/16yn4dzy799K0-YhPu-YJ0Xs5Tc2oEoTi32z3-y0Bz14/edit?usp=sharing

Cheers,

-Loris