Logic List Mailing Archive

Fall School of Logic (Pec pod Snezkou, Czech Republic, September 2005)

Fall school of Logic
                   Pec pod Snezkou 2005

                 September 11.-17, 2005 
      (arrival Sunday 11 - departure Saturday 17.).

        http://www.math.cas.cz/~krajicek/pec05.html

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

    Place

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


    Program

    One theme is usually from mathematical logic, and 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 two tutorials during the first four days (Mon-Thu):

  o Topics in combinatorial set theory
    Lecturer: Stevo Todorcevic
    (CNRS, Universite Paris 7 and University of Toronto)


  o Proof complexity: an overview and current topics
    Lecturers: Jan Krajicek and Pavel Pudlak (both Prague).

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

    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.

    There is no conference fee. Everybody pays only his or her full board
(accommodation and meals). The price will be at most 300 CZK (currently 10
Euros) per day, the same for Czech and foreign participants.

    I shall collect the payment during the meeting.

    Participants: 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, 2005. 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.