BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20230326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20231029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260425T092620Z
UID:1684747800@ist.ac.at
DTSTART:20230522T113000
DTEND:20230522T123000
DESCRIPTION:Speaker: Isil Dillig\nhosted by Krishnendu Chatterjee\nAbstract
 : Program synthesis aims to automatically synthesize programs from high-le
 vel expressions of user intent\, such as examples\, logical specifications
 \, or a simple reference implementation. This talk will survey some of the
  techniques underlying modern program synthesis tools and highlight its ap
 plications for both end-users and professional developers. The talk will a
 im to illustrate how program synthesis can help automate tasks across many
  layers in the software stack\, ranging from low-level systems code all th
 e way up to computer end users.BioIsil Dillig is a Professor of Computer S
 cience at the University of Texas at Austin where she leads the UToPiA res
 earch group. Her primary research area is Programming Languages\, with an 
 emphasis on Program Synthesis and Software Verification.  Dillig is a Sl
 oan Fellow\,  an NSF CAREER award winner\, and recipient of numerous bes
 t & distinguished paper awards. She has all of her degrees (BS\, MS\, PhD
 ) in computer science from Stanford University.
LOCATION:Raiffeisen Lecture Hall\, ISTA
ORGANIZER:arinya.eller@ist.ac.at
SUMMARY:Isil Dillig: Program synthesis across the software stack
URL:https://talks-calendar.ista.ac.at/events/3914
END:VEVENT
END:VCALENDAR