PDMI TUM State University St. Petersburg
Steklov Institute St. Petersburg Technische Universität München State University St. Petersburg

Joint Advanced Student School (JASS)

Course 1: Proofs and Computers

St. Petersburg - Sunday, April 2 through Wednesday, April 12, 2006

Group Picture

Participants:

Bernhard Häupler Name: Bernhard Haeupler

Topic: Introduction to Complexity Theory

 Felix Weninger Name: Felix Weninger

Topic: Randomness and Non-Uniformity
Anton Bankevich Name: Anton Bankevich

Topic: Hierarchy Theorems
 Ilya Posov Name: Ilya Posov

Topic: Valiant-Vazirani Lemma
Dmitry Antipov Name: Dmitry Antipov

Topic: Toda's Theorem, Part I
 Dmitry Shiryaev Name: Dmitry Shiryaev

Topic: Toda's Theorem, Part II
Florian Zuleger Name: Florian Zuleger

Topic: Interactive Proofs		 Johannes Mittmann Name: Johannes Mittmann

Topic: IP=PSPACE
Dmitry Itsykson Name: Dmitry Itsykson

Topic: #P. Complexity of the Permanent. An interactive Proof for P^{#P} 		Konstantin Ushakov Name: Konstantin Ushakov

Topic: Circuit Complexity
Lukas Bulwahn Name: Lukas Bulwahn

Topic: Probabilistically Checkable Proofs 		Bernhard Vesenmayer Name: Bernhard Vesenmayer

Topic: PCP Theorem by Gap Amplification
Edward Hirsch Name: Dr. Edward Hirsch

Teaching Assistant		 Dmytro Chibisov Name: Dmytro Chibisov

Teaching Assistant
Prof. Dr. Ernst W. Mayr Name: Prof. Dr. Ernst W. Mayr

Course Director
School Director
 Prof. Dr. Y. Mateyasevich Name: Prof. Dr. Yuri Matiyasevich

Course Director
School Director