Fall school of


with emphasis on proof complexity

Trest 2007

Supported by the Eduard Cech Center.

Organization and contact: Jan Krajicek.

Earlier mini-conferences: Pec'99 and Pec'00 ,
and Fall schools: Pec'01, Pec'02, Pec'03, Pec'04, and Pec'05.


The broad theme of the Fall schools is the interaction of Mathematical Logic and Complexity Theory, with special emphasis on Proof Complexity.

The format of the school is this: We have two tutorials during Monday to Thursday, each usually two hours per day. One tutorial is delivered by the main guest speaker on a topic in logic or complexity theory broadly relevant to the main theme of the schools. Past guest speakers were (in the order of appearance):
Tomas Jech,
Lou van den Dries,
Johan Hastad,
Ulrich Kohlenbach,
Russell Impagliazzo,
Jeff Paris,
and Stevo Todorcevic.
This is complemented by lectures of the participants on their own work during Friday (there is no obligation to deliver such a talk, though).

The main guest speaker of this school will be:

Albert Atserias

(Universitat Politecnica de Catalunya)

who will deliver a tutorial on:

Finite Model Theory and Complexity.

The second tutorial series will concentrate on recent advances in

Proof Complexity

and will be given by members of the Prague school and their guests.

A detailed syllabus for both tutorials will be available closer to the dates of the Fall school.

There will be plenty of time for informal program and for walks in surrounding beautiful countryside - Trest lies in a hilly region close to the south-east border of the country with Austria.


The Chateau Hotel of Trest (another web presentation)

Dr.Richtra 234, Trest (pronounced Trchesht), CZ-589 01

Situated in the Vysocina region.


September 16. - 22, 2007 (arrival Sunday 16 - departure Saturday 22).

Accommodation and board

Accommodation is in single and double rooms, each having its own bathroom.

There is no conference fee. Everybody pays only his or her full board (accommodation and meals). The price for the full board is estimated to be at most (the equivalent of in CZK) 30 Euros per day, the same for Czech and foreign participants.

The payment will be collected (in CZK) during the meeting.


Participation in the Fall school is by invitation. The deadline for applications was May 1, 2007; however, if you are interested to come you may want to check with me if there is still room for more people. Participants registered so far:

Z.Adamowicz (Warsaw), K.Aehlig (Munchen), A.Atserias (Barcelona), O.Beyersdorff (Berlin), M.Bilkova (Prague), S.Cavagnetto (Prague), R.Honzik (Prague), O.Hurtak (Prague), G.Istrate (Timisoara), E.Jerabek (Prague), T.Kadlcek (Prague), P.Kalnai (Prague), A.Kawamura (Toronto), L.Kolodziejczyk (Warsaw), J.Krajicek (Prague), O.Kuncar (Prague), P. The Nguyen (Toronto), J.Nordstrom (Stockholm), S.Perron (Toronto), J.Pich (Prague), P.Pudlak (Prague), M.Rhodes (Durham), Z.Sadowski (Bialymstok), A.Sochor (Prague), V.Stroganov (Prague), N.Thapen (Prague), Kostas Tsaprounis (Chicago), I.Tzameret (Tel Aviv), A.Vencovska (Manchester).

Useful information for foreign visitors of the country.