The workshop will take place at the Moscow Institute of Physics and Technology. The aim of the workshop is to bring together specialists in computational complexity, communication complexity, formal languages, descriptive complexity, cryptography, and other related fields. MIPT and its Phystech School of Applied Mathematics and Informatics will become a platform for the discussion of various subjects in the area.
- Model-theoretic problems in computer science.
- Algebraic problems in theoretical computer science.
- Computational complexity.
- Communication complexity.
- Andrei Bulatov, Simon Fraser University.
- Bruno Courcelle, University of Bordeaux.
- Anuj Dawar, University of Cambridge.
- Volker Diekert, Institute for Formal Methods in Computer Science.
- Lance Fortnow, Georgia Institute of Technology.
- Erich Grädel, RWTH Aachen University.
- Yuri Gurevich, University of Michigan.
- Johann Makowsky, Technion — Israel Institute of Technology.
- Alexei Miasnikov, Stevens Institute of Technology.
- Jaroslav Nešetřil, Charles University in Prague.
- Noam Nisan, Hebrew University of Jerusalem.
- Vladimir Remeslennikov, Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences.
- Vitalii Roman’kov, Dostoevsky Omsk State University.
- Moshe Vardi, Rice University.
- Nikolay Vereshchagin, Lomonosov Moscow State University and NRU Higher School of Economics.
- Daniil Musatov, MIPT.
- Andrey Raigorodskiy, MIPT and Yandex.
- Maksim Zhukovskii, MIPT.
- Vladimir Remeslennikov, Institute of Mathematics, Siberian Branch of RAS.
- Lisa Lantratova.
- Konstantin Voytikov.
- Standard rate — 100 euros.
- Student rate — free.
The conference program will feature a number of contributed talks. When registering, please tell us if you wish to give a talk. Talk abstracts should be submitted by May 1. A decision will be made by May 15.
Please note that if you need a visa (whether or not you intend to give a talk), then you should register as soon as possible. Normally, there should be enough time if you register by early April. However, in some cases, Russian authorities may take up to one month to issue an invitation letter. It will then take a week to deliver the invitation and another week for the embassy to issue the visa, once the application is made. So you should plan this in advance. Please also note that it is better to book your visit to the embassy. We will do our best to help you, so feel free to contact us and ask any questions! We are looking forward to meeting you in Russia.
Please address your questions concerning registration and fee payment to the official technical partner of the workshop, MESOL LLC.