Reminder: I would like to invite anyone interested to my final defense at 1pm (in 30 minutes).
CORRECTION: the title should be Guarantees in Program Synthesis, sorry for the typo.
From: Qinheping HU
Sent: Tuesday, June 1, 2021 3:58 PM
To: pl-seminar@xxxxxxxxxxx
Subject: 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