BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon2021//speaker//BZXF73
BEGIN:VEVENT
UID:pretalx-juliacon2021-LRHPUH@pretalx.com
DTSTART:20210728T132000Z
DTEND:20210728T133000Z
DESCRIPTION:Every method defines a relation\, which contains all the inform
 ation we need to query possible values of any of the inputs or outputs giv
 en information on the others. This talk introduces parametric relational p
 rogramming\, which given a method M\; information on any of M's variables\
 , and a query set Q of variables of interest\, compiles a new method M̂ t
 hat computes possible values of variables in Q. This unifies the forward a
 nd inverse execution (and everything in between) as forms of inference.
DTSTAMP:20260512T123059Z
LOCATION:Red
SUMMARY:Running Programs Forwards\, Backwards\, and Everything In Between -
  Zenna Tavares
URL:https://pretalx.com/juliacon2021/talk/LRHPUH/
END:VEVENT
END:VCALENDAR