Schedule

May 28, 2018

9:30 – 10:45

Paolo Pistone and Thomas Seiller

Talk: Stars and constellations (paper 1)

11:00 – 12:15

Paolo Pistone and Thomas Seiller

Talk: Stars and constellations (paper 1)

13:30 – 14:45

Paolo Pistone and Thomas Seiller

Talk: Generalized connectives

15:00 – 16:15

Paolo Pistone and Thomas Seiller

Talk: First-order logic (paper 3 section 2-5)

May 29, 2018

9:00 – 10:15

Paolo Pistone and Thomas Seiller

Talk: First-order logic (paper 3 section 2-5)

10:30 – 11:30

Discussion

11:30 – 12:30

Questions/answers with JYG