Wormshop 2017

Workshop on Proof Theory, Modal Logic and Reflection Principles

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


The slideshow on the top uses the following photos: Some parts of all the photos have been cut off.

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