Wormshop 2017

Workshop on Proof Theory, Modal Logic and Reflection Principles

Steklov Mathematical Institute, Moscow, Russia
October 17-20, 2017

Images

The slideshow on the top uses the following photos:

copyright (c) 2014 Roman Biryukov, license
copyright (c) 2012 Mariano Mantel, license
copyright (c) 2014 Syuqor7, license
copyright (c) 2012 Dmitry Kolesnikov, license

Some parts of all the photos have been cut off.

Address:
Steklov Mathematical Institute
Gubkina 8, 119991 GSP-1 Moscow, Russia
fax. +7-(495)-984-8139
tel. +7-(495)-984-8141
e-mail: wrm17@mi.ras.ru