BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Efficiency Datalog Engine for Formal Research
DTSTART:20260617T100000
DTEND:20260617T120000
DTSTAMP:20260430T232218Z
UID:ea61a0e6302f4359cb47a113fbd85b812e0c6554cf22cc1e87e2c412
CATEGORIES:Conferences - Seminars
DESCRIPTION:Christian Fattebert\nEDIC candidacy exam\nExam president: Prof
 . Martin Odersky\nThesis advisor: Prof. Christoph Koch\nCo-examiner: Prof.
  Viktor Kuncak\n\nAbstract\nDatalog engines are starting to show their pot
 ential in a wide range of data-intensive applications. This thesis will in
 vestigate techniques for developing a fast Datalog engines\, specifically 
 focusing on datalog program rewriting and cost-based optimization for recu
 rsive queries. Furthermore\, I will explore how Datalog can be specialized
  for specific tasks\, such as static program analysis.\n\nSelected papers\
 ncoming soon
LOCATION:BC 233 https://plan.epfl.ch/?room==BC%20233
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR