Third International Wormshop

Workshop on Proof Theory, Modal Logic and Reflection Principles

Tbilisi, Georgia

Monday, September 5 -- Friday, September 9, 2016

Confirmed Speakers

Juan Pablo Aguilera

Vienna University of Technology, Austria

Sergei Artemov

CUNY, New York, USA

Matthias Baaz

University of Technology, Vienna

Lev D. Beklemishev

Steklov Mathematical Institute, Russia

David Fernández-Duque

Centre International de Mathématiques et d’Informatique de Toulouse, France

David Gabelaia (TBC)

A. Razmadze Mathematical Institute. Georgia

Paula Henk

ILLC, Amsterdam, The Netherlands.

Eduardo Hermo Reyes

University of Barcelona, Spain

Joost J. Joosten

University of Barcelona, Spain

Fedor Pakhomov

Steklov Mathematical Institute, Russia

Denis I. Saveliev

Institute for Information Transmission Problems of the Russian Academy of Sciences

Paul Shafer

Univeristy of Ghent, Belgium

Daniyar Shamkanov

Steklov Mathematical Institute, Russia

Ilya Shapirovsky

Institute for Information Transmission Problems, Moscow

Junhua Yu

Dept. of Philosophy, Tsinghua University, Beijing