Talks
Spring 2021
Panel Discussion on Challenges and Opportunities in Synthesis
Monday, May 10th, 2021, 8:30 am–10:30 am
Speaker:
Ezio Bartocci (TU Wien), Sumit Gulwani (Microsoft), Hadas Kress-Gazit (Cornell), Orna Kupferman (Hebrew University), and Armando Solar-Lezama (MIT)
Location:
Zoom
No abstract available.
