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