Please note that this newsitem has been archived, and may contain outdated information or links.
16-22 September 2007, Fall school in Logic & Complexity '07, Trest, Czech Republic
The broad theme of the Fall schools is the interaction of Mathematical Logic and Complexity Theory, with special emphasis on Proof Complexity. 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.
Deadline for registration: May 1, 2007
For more information, see http://www.math.cas.cz/~krajicek/trest07.html
Please note that this newsitem has been archived, and may contain outdated information or links.