16-22 September 2007
Trest, Czech Republic
Fall school of
LOGIC & COMPLEXITY
with emphasis on proof complexity
Trest 2007
http://www.math.cas.cz/~krajicek/trest07.html
Organization and contact: Jan Krajicek.
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.
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.
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.
Dates September 16. - 22, 2007 (arrival Sunday 16 - departure Saturday
22).
Participation in the Fall school is by invitation. If you are
interested to come, please write me. In the application very briefly
outline your academic background.
Deadline: May 1, 2007.
Everybody is, in principle, welcome to participate. We are somewhat
limited by available space (maximum of 40 participants) so priority will
be given to people active in logic and/or complexity theory, and among
those to doctoral students and postdocs. I will try to accommodate also
late applicants but I cannot guarantee that there will be enough space.
Important request: I request that when you apply you are reasonably
sure of your intentions to really come: People canceling just before
the meeting are hard to replace by other participants and the cancellation
simply results in a loss of a slot (and cancellation fee).