Talks

• Paolo Pistone and Thomas Seiller
  Talk: First-order logic (paper 3 section 2-5)
  • May 28, 2018, 3 p.m.
  • May 29, 2018, 9 a.m.
• Paolo Pistone and Thomas Seiller
  Talk: Generalized connectives
  • May 28, 2018, 1:30 p.m.
• Paolo Pistone and Thomas Seiller
  Talk: Stars and constellations (paper 1)
  • May 28, 2018, 9:30 a.m.
  • May 28, 2018, 11 a.m.