BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//project/author//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTEND:20230306T120000Z
UID:b512bbfbd1811f731407c87670f7f864-420
DTSTAMP:19700101T120011Z
DESCRIPTION:Fusing AI and Formal Methods for Automated Synthesis
URL;VALUE=URI:https://www.csa.iisc.ac.in/newweb/event/420/fusing-ai-and-formal-methods-for-automated-synthesis/
SUMMARY:We entrust large parts of our daily lives to computer systems, which are becoming increasingly more complex. Developing scalable yet trustworthy techniques for designing and verifying such systems is an important problem. In this talk, our focus will be on automated synthesis,  a technique that uses formal specifications to automatically generate systems (such as functions, programs, or circuits) that provably satisfy the requirements of the specification.  I will introduce a state-of-the-art functional synthesis algorithm that leverages artificial intelligence to provide an initial guess for the system and then uses formal methods to repair and verify the guess to synthesize a system that is correct by construction. I will conclude by exploring the potential for combining AI and formal methods to address real-world scenarios.
DTSTART:20230306T120000Z
END:VEVENT
END:VCALENDAR