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

The 11th International Computer Science Symposium in Russia, June 9–13, 2016, St. Petersburg, Russia