2017/2018 Edition

Schedule of the Fall 2017/18 Semester

  1. October 12-14, 2017: Piotr Faliszewski, Algorithmic Analysis of Elections
  2. December 1-2: Jakob Rehof , A Type-Based Approach to Component-Oriented Synthesis
  3. January 25-27, 2017: Albert Atserias, The Width Method for Resolution and Sums-of-Squares Proofs

Schedule of the Spring 2017/18 Semester

  1. March 15-17, 2018: Marcin Jurdziński
  2. April 18-21, 2018: Carsten Lutz
  3. May 10-12, 2018: Daniel Kráľ
  4. May 24-26, 2018: Atri Rudra