Fall school of
LOGIC & COMPLEXITY
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.
Program
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:
(Universitat Politecnica de Catalunya)
who will deliver a tutorial on:
The second tutorial series will concentrate on
recent advances in
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.
Place
The Chateau Hotel of Trest (another
web presentation)
Dr.Richtra 234,
Trest (pronounced Trchesht), CZ-589 01
Situated in the
Vysocina region.
Dates
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.
Participants:
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.