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

[DAVID PORFIRIO <dporfirio@xxxxxxxx>]

Just a reminder that my practice talk is at noon in 3310, hope to see you there!

---

From: Aws Albarghouthi <albargah@xxxxxxxxx>
Sent: Sunday, September 30, 2018 5:24:24 PM
To: DAVID PORFIRIO
Cc: pl-seminar@xxxxxxxxxxx
Subject: Re: [pl-seminar] Scheduling a practice talk for UIST 2018

 

Please make sure to attend tomorrow's talk! Should be a great start to this semester's PL seminar. 

On Tue, Sep 18, 2018 at 9:22 AM DAVID PORFIRIO <dporfirio@xxxxxxxx> wrote:

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

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar

--

Aws