Mailing List Archives

Authenticated access

 		[Computer Systems Lab]

[← Prev]  [Date]  [Next →] [← Prev]  [Thread]  [Next →]

[madPL] Disserattion Defense Tomorrow 1pm

Date: Tue, 1 Jun 2021 20:58:29 +0000
From: Qinheping HU <qhu28@xxxxxxxx>
Subject: [madPL] Disserattion Defense Tomorrow 1pm

Hi everyone,

 

I will be defending on June 2nd (tomorrow) at 1 PM via zoom. All are welcome to attend.

 

Title: Guarantees in syntax-guided synthesis

Time: Wed June 2nd, 2021 01:00 PM Central Time (US and Canada)

 

Join Zoom Meeting
https://uwmadison.zoom.us/j/92095530273?pwd=WHBoYmdSWVVuZ3NnRDNIV0pRS3BUdz09

Meeting ID: 920 9553 0273
Passcode: 266403

 

Committee:

Loris D’Antoni (adviser)
Somesh Jha

Thomas W. Reps

Steffen Lempp

 

Best,

Qinheping Hu

 

[← Prev in Thread] Current Thread [Next in Thread→]
Previous by Date:  Re: [madPL] Kirshanthan Sundararajah madPL Seminar, JOHN CYPHERT
Next by Date:  [madPL] Synthesis / SemGuS Reading Group, Keith Jens Carl Johnson
Previous by Thread:  [madPL] cs 704 project ideas, Aws Albarghouthi
Next by Thread:  [madPL] FW: Disserattion Defense Tomorrow 1pm, Qinheping HU
Indexes:  [Date] [Thread]