|
Logical Models of Reasoning and Computation
Steklov Mathematical Institute
February 1-3, 2012
List of speakers
S. Adian (Steklov Institute of Mathematics, Moscow)
M. Baaz (Vienna University of Technology)
L. Beklemishev (Steklov Institute of Mathematics, Moscow)
A. Blass (University of Michigan) (tbc)
N. Bjorner (Microsoft Research, Redmond)
A. Ciabattoni (Vienna University of Technology)
N. Dershowitz (Tel Aviv University)
H. van Ditmarsch (University of Seville)
Y. Gurevich (Microsoft Research, Redmond)
M. Kanovich (University of London)
R. Kuznets (University of Bern)
S. Kuznetsov (Moscow State University)
A. Semenov (Moscow Institute of Open Education)
T. Strahm (University of Bern)
H. Veith (Vienna University of Technology)
N. Vereschagin (Moscow Lomonosov State University)
M. Volkov (Ural Federal University, Ekaterinburg)
A. Voronkov (University of Manchester) (tbc)
D. Weller (Vienna University of Technology)
T. Yavorskaya (Moscow Lomonosov State University)
M. Zakharyaschev (University of London)
A. Zamansky (Vienna University of Technology)
E. Zolin (Moscow Lomonosov State University)
|