Other events

A Special Semester on Computational and Proof Complexity, April - June, 2016

  • Workshop on Proof Complexity, May 17 - 20, 2016
  • Workshop on Low-Depth Complexity, May 23 - 25, 2016

International Symposium on Experimental Algorithms (SEA 2016), June 5-8, 2016

Seventh Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2016) , June 14-15, 2016