[pl-seminar] Scheduling a practice talk for UIST 2018

[DAVID PORFIRIO <dporfirio@xxxxxxxx>]

Hi everyone, I'm writing to schedule a practice talk with the PL group on Monday, October 1 at noon, for those who would be interested. I am a 3rd year graduate student working with Aws and Bilge Mutlu, and will be giving a presentation to the User Interface Software and Technology conference. The paper is about using formal verification to check social norm violations within robot programs.

I've booked 3310, and I'll bring snacks.

Thank you,

David Porfirio

Graduate Student

Computer Sciences Department

University of Wisconsin–Madison