Events

• 20:00

  Day 2
  Diskussionsrunde zu Programmierung auf Typ- statt Implementations Ebene (Abhängige Typen, automatisches Beweisen, Prolog)
  "KliMathematik Augsburg" Table

  KliMathematik Augsburg
• 14:00

  Day 3
  Fixing foundations: A program is not something you execute
  KliMathematik Augsburg Table (stage side), look in description

  KliMathematik Augsburg
• 19:00

  Day 3
  Fixing foundations: A program is not a window
  "KliMathematik Augsburg" Table

  KliMathematik Augsburg