BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Computer Science and Engineering - ECPv6.13.0//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Computer Science and Engineering
X-ORIGINAL-URL:https://homecse.iitd.ac.in
X-WR-CALDESC:Events for Computer Science and Engineering
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:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20250304T150000
DTEND;TZID=Asia/Kolkata:20250304T170000
DTSTAMP:20260924T055341
CREATED:20250304T073434Z
LAST-MODIFIED:20250304T073434Z
UID:1448-1741100400-1741107600@homecse.iitd.ac.in
SUMMARY:Distribution Testing: The New Frontier for Formal Methods
DESCRIPTION:Speaker: Kuldeep S. Meel (Georgia Institute of Technology)\n\n\nAbstract:  The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that were always correct\, and to accept nothing less as users. But times have changed: Users and designers are accustomed to systems with statistical components and behaviors. What does it mean for the formal methods community? In this talk\, we argue that such a dramatic change in the acceptance and design of systems presents exciting opportunities to make fundamental contributions: we need to rethink the notions and techniques for the design of specifications and verification methodologies. In particular\, we will focus on the systems whose behaviors are not naturally captured by symbolic relations but rather require reliance on probability distributions. We will discuss our recent efforts in designing formal methodologies for testing whether a sampling subroutine generates a desired distribution. We will showcase the challenges\, opportunities\, and rewards in our journey.\n\nSpeaker Bio:  Kuldeep Meel holds Stephen Fleming Early-Career Associate Professorship in the School of Computer Science\, and an Associate Professor at the University of Toronto (on leave). His research interests lie at the intersection of Formal Methods and Artificial Intelligence. He is a recipient of the 2022 ACP Early Career Researcher Award\, the 2019 NRF Fellowship for AI\, and was named AI’s 10 to Watch by IEEE Intelligent Systems in 2020. His research program’s recent recognitions include the Distinguished Paper Award at CAV-23 and CAV-24\, ICLP-24 Best Paper Award\,2023  CACM Research Highlight Award\, 2022 ACM SIGMOD Research Highlight\, IJCAI-22 Early Career Spotlight\,  Best Paper Award nominations at ICCAD-21 and DATE-23\, 1st Place in Model Counting Competition (2020 and 2022).  He is passionate about teaching\, and most proud of being recipient of university-level Annual Teaching Excellence Awards in 2022 and 2023.
URL:https://homecse.iitd.ac.in/event/distribution-testing-the-new-frontier-for-formal-methods-2/
LOCATION:Bharti 501\, IIT Campus\, Hauz Khas\, New Delhi
CATEGORIES:Seminars
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Kolkata:20250304T160000
DTEND;TZID=Asia/Kolkata:20250304T170000
DTSTAMP:20260924T055341
CREATED:20250225T150648Z
LAST-MODIFIED:20250225T150648Z
UID:1409-1741104000-1741107600@homecse.iitd.ac.in
SUMMARY:Distribution Testing: The New Frontier for Formal Methods
DESCRIPTION:Speaker: Kuldeep S. Meel (Georgia Institute of Technology) \n  \nAbstract:  The dominant guiding philosophy in the first sixty years of Computer Science was for designers to design systems that were always correct\, and to accept nothing less as users. But times have changed: Users and designers are accustomed to systems with statistical components and behaviors. What does it mean for the formal methods community? In this talk\, we argue that such a dramatic change in the acceptance and design of systems presents exciting opportunities to make fundamental contributions: we need to rethink the notions and techniques for the design of specifications and verification methodologies. In particular\, we will focus on the systems whose behaviors are not naturally captured by symbolic relations but rather require reliance on probability distributions. We will discuss our recent efforts in designing formal methodologies for testing whether a sampling subroutine generates a desired distribution. We will showcase the challenges\, opportunities\, and rewards in our journey.\n\nSpeaker Bio:  Kuldeep Meel holds Stephen Fleming Early-Career Associate Professorship in the School of Computer Science\, and an Associate Professor at the University of Toronto (on leave). His research interests lie at the intersection of Formal Methods and Artificial Intelligence. He is a recipient of the 2022 ACP Early Career Researcher Award\, the 2019 NRF Fellowship for AI\, and was named AI’s 10 to Watch by IEEE Intelligent Systems in 2020. His research program’s recent recognitions include the Distinguished Paper Award at CAV-23 and CAV-24\, ICLP-24 Best Paper Award\,2023  CACM Research Highlight Award\, 2022 ACM SIGMOD Research Highlight\, IJCAI-22 Early Career Spotlight\,  Best Paper Award nominations at ICCAD-21 and DATE-23\, 1st Place in Model Counting Competition (2020 and 2022).  He is passionate about teaching\, and most proud of being recipient of university-level Annual Teaching Excellence Awards in 2022 and 2023.
URL:https://homecse.iitd.ac.in/event/distribution-testing-the-new-frontier-for-formal-methods/
LOCATION:Bharti 501\, IIT Campus\, Hauz Khas\, New Delhi
CATEGORIES:Seminars
END:VEVENT
END:VCALENDAR