LMRC12


General Information

Program

Preliminary list of speakers

Timetable

Practical information



Sponsors

Steklov Mathematical Institute

Russian Academy of Sciences

Microsoft Research


Kurt Gödel Society (Austria)

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)