Schedule

March 7

• topic assignment and scheduling
     1-up    2-up    4-up

March 28

chair: Bertram Felgenhauer

• René Thiemann
  topic   talk
• Martin Avanzini
  topic   talk

April 18

chair: Sarah Winkler

• Bertram Felgenhauer
  topic   talk
• Harald Zankl
  topic   talk

April 25

chair: Georg Moser

• Sarah Winkler
  topic   talk
• Cezary Kaliszyk
  topic   talk

May 9

chair: Cezary Kaliszyk

• Thomas Sternagel
  talk
• Simon Legner
  talk

May 16

chair: Martin Avanzini

• Julian Nagele
  talk
• Stéphane Gimenez
  topic   talk

May 23

chair: Harald Zankl

• Georg Moser
  topic   talk

June 13

chair: Stéphane Gimenez

• Michael Färber
  topic   talk   report
• Michael Schaper
  topic   talk   report

June 20

chair: René Thiemann

• Benjamin Höller
  topic   talk   report
• Cynthia Kop
  topic   talk