Fall school

of the Logic seminar at the Mathematical Institute

Pec p. Snezkou 2004

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

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

We also use a nearby pension Vysoka Straz.


September 12.-18, 2004 (arrival Sunday 12. - departure Saturday 18.).


The aim of the school is to expose the participants to first-class researchers in mathematical logic or complexity theory. One theme is usually a purely logical, one theme is on a topic from or relevant to complexity theory (but with an eye on logic audience). This choice reflects my view that the connections with complexity theory are one of the highlights of contemporary mathematical logic.

We will have about three tutorials during the first four days (Mon-Thu). The themes and the speakers are (more details will be available at a later date):

  • Notions of Intractability
    Lecturer: Russell Impagliazzo (San Diego)

  • Predicate probability logic
    Lecturer: Jeff Paris (Manchester)

    In addition, Pavel Pudlak will give an hour talk on Hard principles based on games.

    Friday will be devoted to lectures of participants on their own work:


  • L.Behounek: Higher-order fuzzy logic

  • P.Cintula: Weakly implicative (fuzzy) logic

  • A.Cordon-Franco: Provably total primitive recursive functions

  • P.Hrubes: Universal predicates in N

  • M.Koucky: Lower bounds by E-F games

  • D.Kral: Three optimal algortihms for balls of three colors

  • P.Nguyen: VTC^0: A second-order theory for TC^0

  • N.Thapen: The replacement scheme in weak arithmetic

    There will be 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 Euros (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.


    If you are interested to come, please write me. Everybody is, in principle, welcome to participate. Graduate students have priority. We are limited somewhat by space.

    Deadline for application: May 24, 2004. In the application very briefly outline your academic background. I'll try to accommodate later applicants too but I cannot guarantee that there will be enough space.

    I request that when you apply you are reasonably sure of your program and intentions to really come: People cancelling just before the meeting is hard to replace by another participants and the cancellation simply results in a loss of a slot.

    Participants registered so far:

    Zofia Adamowicz, Libor Behounek, Olaf Beyersdorff, Marta Bilkova, Stefano Cavagnetto, Petr Cintula, Andres Cordon Franco, Petr Hajek, Radek Honzik, Pavel Hrubes, Russell Impagliazzo, Emil Jerabek, Leszek Kolodziejczyk, Antonina Kolokolova, Michal Koucky, Jan Krajicek, Daniel Kral, Marcello Mamino, Phuong The Nguyen, Kerry Ojakian, Jeff Paris, Michal Pelis, Martin Pergel, Pavel Pudlak, Zenon Sadowski, Daniela Scialla, Jiri Sgall, Alan Skelley, Antonin Sochor, Miroslava Sotakova, Neil Thapen, Alena Vencovska, Konrad Zdanowski.

    Some practical info for the participants.