BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:An Overview of the Flix Programming Language - Magnus Madsen\, Aar
 hus University
DTSTART:20190509T124500Z
DTEND:20190509T134500Z
UID:TALK123061@talks.cam.ac.uk
CONTACT:Victor Gomes
DESCRIPTION:In this talk I will present Flix\, a functional programming la
 nguage with aspects\nof logic programming. I will present the original mot
 ivation for Flix and how\nFlix has evolved since then. The talk will cover
  some of the recent research on\nFlix\, including (a) how to generalize Da
 talog from constraints on relations to\nconstraints on lattices\, (b) how 
 to verify components of abstract interpreters\nwritten in Flix\, (c) a des
 ign of implicit parameters for logic languages\, and\n(d) programming with
  first-class Datalog constraints.\n\nBiography:\n\nMagnus Madsen is an ass
 istant professor at the Department of Computer Science at\nAarhus Universi
 ty in Denmark. He was previously a postdoctoral researcher at the\nUnivers
 ity of Waterloo in Canada. He has done research internships at Microsoft\n
 Research (USA) and Samsung Research America (USA).
LOCATION:FW26
END:VEVENT
END:VCALENDAR