Skip to main content
Search
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
Main navigation
Home
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
People
Scientific Leadership
Staff
Current Long-Term Visitors
Research Fellows
Postdoctoral Researchers
Scientific Advisory Board
Governance Board
Industry Advisory Council
Affiliated Faculty
Science Communicators in Residence
Law and Society Fellows
Participate
Apply to Participate
Plan Your Visit
Location & Directions
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Support
Annual Fund
Funders
Industrial Partnerships
Academic Partnerships
News & Videos
News
Videos
About
Panel Discussion on Challenges and Opportunities in Synthesis
Workshop
Synthesis of Models and Systems
Speaker(s)
Ezio Bartocci (TU Wien)
,
Sumit Gulwani (Microsoft)
,
Hadas Kress-Gazit (Cornell)
,
Orna Kupferman (Hebrew University)
,
Armando Solar-Lezama (MIT)
Location
Zoom
Date
Monday, May 10, 2021
Time
8:30
–
10:30 a.m. PT
Breadcrumb
Home
Programs & Events
Workshop & Symposia
Synthesis of Models and Systems
Panel Discussion On Challenges and Opportunities In Synthesis
Abstract
No abstract available.
Video Recording
link to homepage
Close
Main navigation
Home
Programs & Events
Research Programs
Workshops & Symposia
Public Lectures
Research Pods
Internal Program Activities
People
Scientific Leadership
Staff
Current Long-Term Visitors
Research Fellows
Postdoctoral Researchers
Scientific Advisory Board
Governance Board
Industry Advisory Council
Affiliated Faculty
Science Communicators in Residence
Law and Society Fellows
Participate
Apply to Participate
Plan Your Visit
Location & Directions
Postdoctoral Research Fellowships
Law and Society Fellowships
Science Communicator in Residence Program
Support
Annual Fund
Funders
Industrial Partnerships
Academic Partnerships
News & Videos
News
Videos
About
Utility navigation
Calendar
Contact
Login
MAKE A GIFT
link to homepage
Close
Search