BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/164
1/16-22-September-2007-Fall-school-in-Logic-Comple
xity-07-Trest-Czech-Republic
DTSTAMP:20061207T000000
SUMMARY:Fall school in Logic & Complexity '07, Tre
st, Czech Republic
DTSTART;VALUE=DATE:20070916
DTEND;VALUE=DATE:20070922
LOCATION:Trest, Czech Republic
DESCRIPTION:The broad theme of the Fall schools is
the interaction of Mathematical Logic and Complex
ity Theory, with special emphasis on Proof Complex
ity. The main guest speaker of this school will be
Albert Atserias (Universitat Politecnica de Catal
unya) who will deliver a tutorial on "Finite Model
Theory and Complexity". The second tutorial serie
s will concentrate on recent advances in Proof Com
plexity and will be given by members of the Prague
school. Deadline for registration: May 1, 2007
For more information, see http://www.math.cas.cz/
~krajicek/trest07.html
X-ALT-DESC;FMTTYPE=text/html:\n \nThe broa
d theme of the Fall schools is the interaction of
Mathematical Logic and Complexity Theory, with spe
cial emphasis on Proof Complexity.\nThe main guest
speaker of this school will be \nAlbert Atserias\
n(Universitat Politecnica de Catalunya)\nwho will
deliver a tutorial on\n"Finite Model Theory a
nd Complexity". \nThe second tutorial series
will concentrate on recent advances in\nProof Comp
lexity\nand will be given by members of the Prague
school.\n

\n Deadline for regist
ration: May 1, 2007

\n \n For more i
nformation, see\n htt
p://www.math.cas.cz/~krajicek/trest07.html\n

\n
URL:/NewsandEvents/Events/Conferences/newsitem/164
1/16-22-September-2007-Fall-school-in-Logic-Comple
xity-07-Trest-Czech-Republic
END:VEVENT
END:VCALENDAR