Fall school of the Logic seminar

Mathematical Institute

Pec p. Snezkou 2002

Earlier mini-conferences: Pec'99 and Pec'00 , and Fall school Pec'01.

Information about the Fall school: krajicek@math.cas.cz.

Usefull information for foreign visitors of the country.


Chata UK (pension VAK) - pension of the Charles University
Mala plan 159
542 21, Pec pod Snezkou


16.-22.9.2002 (arrival to Pec Sunday 15th afternoon).


We had two tutorials during the first four days (Mon-Thu). Each tutorial was two hours per day:

  • Model theory and algorithms
    Lecturer: Lou van den Dries

  • Recent topics in (or relevant to) propositional proof complexity and bounded arithmetic Part 1 and Part 2.
    Lecturers:: J. Krajicek and P. Pudlak.

    Friday and Saturday were devoted to lectures of participants on their own work, Sunday was the departure day.


  • P.Andreev: A theory of hyperfinite sets
  • L.Behounek: Set theory over Godel's logic
  • M.Bilkova: Feasible properties of modal logic S4
  • R.Honzik: Background on forcing in set theory
  • E.Jerabek: A reformulation of the weak PHP
  • A.Kolokolova: Systems of bounded arithmetic from descriptive characterizations
  • T.Lee: Arithmetical definability on finite structures
  • T.Morioka: Iteration and the parity
  • K.Ojakian: Probabilistic method in bounded arithmetic
  • M.Rossler: NQA
  • J.Sgall: On cake cutting
  • V.Svejdar: Decisions procedures for intuitionistic logic

    There was plenty of time for informal program and for walks in surrounding beautiful countryside - Pec is in mountains Krkonose ( The Giant Mountains) on the north border of the country.

    Accommodation and board

    Accommodation is in double rooms with own bathroom.

    We shall pay a part of expenses of students (from our grants and from a grant of the Institute of Theoretical Computer Science).
    The price will be at most 10 USD (or 100 CZK for Czech students) per day for full board. We hope to lower this upper bound yet somewhat. The discrepancy in upper bounds on the price for Czech students and others is due to the fact that some grants can be used only for Czech citizens.

    We shall collect the payment during the meeting.


    Participants from Prague:

    Libor Behounek, Marta Bilkova, Jan Filippi, Jirka Hanika, Zuzana Hanikova, Radek Honzik, Pavel Jelinek, Emil Jerabek, Jan Krajicek, Ondrej Majer, Jana Marikova, Michal Pelis, Pavel Pudlak, Michal Rossler, Jiri Sgall, Antonin Sochor, Vitezslav Svejdar, Tomas Tichy.

    Participants from elsewhere:

    Petr Andreev (Moscow), Olaf Beyersdorff (Berlin), Federico Cozzi (Pisa), Lou van den Dries (Urbana-Champaign), Gilda M. Ferreira (Lisbon), Antonina Kolokolova (Toronto), Troy Lee (Amsterdam), Marcello Mamino (Pisa), Tsuyoshi Morioka (Toronto), Jakob Nordstrom (Stockholm), Kerry Emerson Ojakian (Pittsburgh), Alan Skelley (Toronto), Alan Woods (W.Australia).