Schedule

October 5

• topic assignment and scheduling
  

  pdf

November 9

chair: Aart Middeldorp

• Georg Moser
  

  topic

  talk

• René Thiemann
  

  topic

  talk

November 23

chair: Harald Zankl

• Bertram Felgenhauer
  

  topic

  talk

• Friedrich Neurauter
  

  topic

  talk

November 30

chair: Georg Moser

• Harald Zankl
  

  topic

  talk

December 7

chair: Bertram Felgenhauer

• Simon Legner
  

  topic

  talk

  report

• Alexander Bau
  

  topic

  talk

December 14

chair: Friedrich Neurauter

• Michael Schaper
  

  topic

  talk

  report

• Michael Walch
  

  topic

January 11

chair: Sarah Winkler

• Julian Nagele
  

  topic

  talk

  report

• Aart Middeldorp
  

  topic

  talk

January 25

chair: René Thiemann

• Sarah Winkler
  

  topic

  talk

• Stephane Gimenez
  

  topic

  talk