[Proof Complexity] Complexity Semester in St. Petersburg

Sam Buss sbuss at ucsd.edu
Wed Jul 1 02:45:06 CEST 2015

Dear Colleagues,

It is our pleasure to announce a special semester program on Computational
and Proof Complexity which will be held in St.Petersburg in 2016. Please
find below the preliminary announcement, also available at

While we apologize for possible cross-postings, we will appreciate if you
share the announcement with your colleagues and students.

Looking forward to your participation,
Sam Buss and Edward Hirsch (organizers)



The Chebyshev Laboratory at St.Petersburg State University announces

              A Special Semester on Computational and Proof Complexity
                                April--June 2016
                           St.Petersburg, Russia

The semester program is organized jointly with Skolkovo Institute of
Science and Technology. It will include visiting researchers, visiting PhD
students, and two or three workshops. Visiting researchers and students
will be able to attend any time during the three months period.

1. Workshop on Proof Complexity.
St. Petersburg, May 17-20, 2016.
Workshop organizers: Sam Buss and Pavel Pudlák.
Keynote speaker: Jan Krajicek.

2. Workshop on Low-Depth Complexity.
St.Petersburg, May 23-25, 2016.
Workshop organizers: Ben Rossman and Rahul Santhanam.
Keynote speaker: Ryan Williams.

3. Visiting graduate students: There will be lecture courses aimed at PhD
students and other researchers attending the workshops.  Those will be held
before the workshops. There will be opportunities for student grants for
travel and local expenses.  There is also a possibility of extended stays
by graduate students for up to three months.

4. Visiting researchers and postdocs.  There will be opportunities for
research visits to St.Petersburg.  These are intended to support joint
research in St. Petersburg with organizers or other participants of the
workshops, or simply with colleagues from elsewhere. Please apply for a

5. There are two other events in St.Petersburg which will be held during
the semester:
   * CSR-2016, June 9-13 (11th Intl. Computer Science Symposium in Russia),
   * SEA-2016, June 5-8 (15th Intl. Symposium on Experimental Algorithms).

If you have questions about the program and how to participate, or wish to
be on the mailing list for further announcements, please contact the
Special Semester organizers:
      Edward A. Hirsch (Steklov Institute/St.Petersburg; hirsch at pdmi.ras.ru)
      Sam Buss (Univ. of California, San Diego; sbuss at ucsd.edu)
We also welcome suggestions on the format of the program.

Web page: http://en.chebyshev.spb.ru/complexity2016

APPLICATION PROCEDURE: if you wish to participate in the semester, please
complete the (short) online application form (found on the web page).

Organizational email: complexityspb at gmail.com

More information about the Proof-Complexity mailing list