Logic Colloquium 2008

Special sessions

Model theory Logic and computer science
Martin Hils Mariangola Dezani
Gareth Jones Kazushige Terui
Moshe Kamensky Yde Venema
Krzysztof Krupinski Ting Zhang

Set theory Computability and arithmetic
Pandelis Dodos Barbara F. Csima
Tamas Matrai Antonin Kucera
Katherine Thompson Shahram Mohsenipour
Todor Tsankov Neil Thapen

The Model Theory talks will be in parallel with those of Logic and Computer Science
and the Set Theory talks with those of Computability and Arithmetic.

back