Programme

August, 31

13.00 – 14.30: Lunch

Session 1 (Chair: Pierre Ganty)

14.30 – 15.30: Invited Speaker

  • Cardinalities and Quantifiers in Horn Constraints
    Andrey Rybalchenko (Joint work with Nikolaj Bjorner, Klaus v. Gleissenthall and Boris Koepf)

15.30 – 16.00:

16.00 – 16.30: Coffee Break

Session 2 (Chair: Lenore Zuck)

16.30 – 18.00:

September, 1

9.30 – 10.30: Invited Speaker: (joint invited with Concur)

10.30 – 11.00: Coffee Break

Session 3 (Chair: Michele Loreti)

11.00 – 13.00:

13.00 – 14.30: Lunch

Session 3 (Chair: Giorgio Delzanno)

14.30 – 15.30