[FOM] Special Semester on Computational and Proof Complexity

[Sam Buss]

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
http://en.chebyshev.spb.ru/complexity2016.

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

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

%---

PRELIMINARY ANNOUNCEMENT

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
grant!

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20150622/7deaf6d3/attachment-0001.html>