Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Date: 16-22 September 2007
Location: 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.