BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Ashoka University - ECPv6.17.4//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://www.ashoka.edu.in
X-WR-CALDESC:Events for Ashoka University
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Kolkata
BEGIN:STANDARD
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
TZNAME:IST
DTSTART:20240101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20250404T130000
DTEND;TZID=Asia/Kolkata:20250404T150000
DTSTAMP:20250402T020854Z
CREATED:20250402T020854Z
LAST-MODIFIED:20250402T020854Z
UID:75843-1743771600-1743778800@www.ashoka.edu.in
SUMMARY:[CS Colloquium] S Akshay | Functional Synthesis
DESCRIPTION:Title: Tractable Representations for Automated Functional Synthesis   \nAbstract: It is often easy to write down the specification of a system as a relation between inputs and outputs. But implementing the system is a functional problem: to provide functions that produce outputs from inputs. The question we ask is if we can automatically synthesize such a function from the given relation? This question has generated a lot of interest in recent years\, especially in the Boolean setting\, where despite theoretical hardness results\, many techniques and tools have been developed that now scale surprisingly well. In this talk\, we shine a light on this problem from a Knowledge Representation perspective. We identify structural properties and develop normal forms for the specification that guarantee provably efficient synthesis. Further\, we move towards a characterization of what makes Boolean functional synthesis easy and examine techniques to compile into such forms.   \n[Based on joint work with Supratik Chakraborty\, Sahil Jain and Shetal Shah at CAV'23 and AMAI'23]   \nAbout the Speaker: S. Akshay is a Professor in the Department of Computer Science and Engineering at IIT Bombay\, where he holds the Shridhar Shukla Chair for Digital Trust and is affiliated with the IITB Trust Lab and the Ashank Desai Centre for Policy Studies. His research interests span formal methods and AI with a focus on quantitative (timed/probabilistic) verification\, automata theory and automated synthesis. He has given multiple invited talks and tutorials on functional synthesis in venues including Highlights 2022\, AAAI 2022 and IJCAI 2022 as well as organized workshops on various topics ranging from Trustworthy AI to Functional Synthesis and Automata\, Concurrency and Timed systems in India and outside.
URL:https://www.ashoka.edu.in/event/cs-colloquium-s-akshay-functional-synthesis/
END:VEVENT
END:VCALENDAR