No.007 Dependently Typed Programming

13th September (Tuesday)

• 15:00 – Hotel Check In (early check-in from 12:00 is negotiable if informed in advance)
• 19:00 – 21:00: Welcome Reception (joint reception with participants from Agda Implementor’s Meeting)

14th September (Wednesday)

• 7:30 – 9:00: Breakfast
• 9:00 – 9:45: Session 1 (AIM): Bengt Nordström (abstract, slides)
• 9:45 – 10:15: Tea Break
• 10:15 – 11:45: Session 2 (AIM):
  • 10:15 – 11:00: Makoto Hamana (abstract)
  • 11:00 – 11:45: Nils Anders Danielsson (abstract, accompanying Agda code: highlighted, with hyperlinks, darcs repository)
• 11:45 – 13:30: Lunch
• 13:30 – 15:45: Session 3 (DTP):
  • 13:30 – 14:15: Andreas Abel (abstract, slides)
  • 14:15 – 15:00: Jeremy Gibbons (abstract, accompanying Agda code: plain Agda or a syntax-highlighted html)
  • 15:00 – 15:45: Naoki Kobayashi (abstract)
• 15:45 – 16:15: Tea Break
• 16:15 – 17:45: Session 4 (DTP):
  • 16:15 – 17:00: Venanzio Capretta (abstract, slides)
  • 17:00 – 17:45: Cédric Fournet (abstract)
• 18:00 – 19:30: Dinner

15th September (Thursday)

• 7:30 – 9:00: Breakfast
• 9:00 – 9:45: Session 1: Thorsten Altenkirch (abstract, slides)
• 9:45 – 10:15: Tea Break
• 10:15 – 11:45: Session 2:
  • 10:15 – 11:00: Tim Sheard (abstract)
  • 11:00 – 11:45: Oleg Kiselyov and Chung-chieh Shan (abstract)
• 11:45 – 13:30: Lunch
• 13:30 – 15:45: Session 3:
  • 13:30 – 14:15: Matthieu Sozeau (abstract)
  • 14:15 – 15:00: Patrik Jansson (abstract, slides)
  • 15:00 – 15:45: Nikhil Swamy (abstract)
• 15:45 – 16:15: Tea Break
• 16:15 – 17:45: Session 4:
  • 16:15 – 17:00: Stephanie Weirich (abstract, slides)
  • 17:00 – 17:45: Garrin Kimmell (abstract)
• 18:00 – 19:30: Dinner

16th September (Friday)

• 7:30 – 9:00: Breakfast
• 9:00 – 9:45: Session 1: Masahiko Sato
• 9:45 – 10:15: Tea Break
• 10:15 – 11:45: Session 2:
  • 10:15 – 11:00: James McKinna (slides)
  • 11:00 – 11:45: Tarmo Uustalu (abstract)
• 11:45 – 13:30: Lunch
• 13:30 – 18:00: Excursion
• 18:00 – 19:30: Banquet

17th September (Saturday)

• 7:30 – 9:00: Breakfast
• 9:00 – 9:45: Session 1: Conor McBride
• 9:45 – 10:15: Tea Break
• 10:15 – 11:45: Session 2:
  • 10:15 – 11:00: Anton Setzer (abstract)
  • 11:00 – 11:45: Randy Pollack
• 11:45 – 14:00: Lunch