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. |