An event in honor of Phokion Kolaitis will take place on Sunday 30 June 2019. We will celebrate Phokion for his fundamental contributions of lasting value to the principles of database systems and computational logic, as well as to mathematical logic and computer science at large. The event comprises talks by some of his closest collaborators. Please join this event to honor Phokion!

When:   Sunday, 30 June 2019, from 2:00pm to ~6:15pm

Where: Amsterdam Conference Center, Beurs van Berlage Damrak 243, 1012 ZJ

             Amsterdam, Netherlands (same location as SIGMOD/PODS conference).

Note: The SIGMOD organizers require that participants to the event be registered for the SIGMOD/PODS conference or for the conference workshops.

PROGRAM

2:00-3:30pm:

    Welcome and introduction 

       Georg Gottlob & Wang-Chiew Tan

    The logical approach to constraint satisfaction

       Moshe Y. Vardi, Rice University

    Data exchange and beyond: What I’ve learned from Logicians

       Renée J. Miller, Northeastern University

3:30pm - 4:00pm: Coffee break

4:00pm - 6:15pm (with a short break at about 5pm):

    Containment of conjunctive queries with inequalities

        Foto Afrati, National Technical University of Athens

    Learning database queries and schema mappings

        Balder ten Cate, Google

    Computational social choice through the lens of databases

        Benny Kimelfeld, Technion

    Enumerating repairs

        Reinhard Pichler, Vienna University of Technology (TU Wien)

    Generalized quantifiers, games and dependence logic

        Jouko Väänänen, University of Helsinki

    Phokion Kolaitis: My office mate for five years, collaborator, mentor and friend

        Lefteris Kirousis, National & Kapodistrian University of Athens