Russian Workshop on Complexity and Model Theory

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.


Sections:
  1. Model-theoretic problems in computer science.
  2. Algebraic problems in theoretical computer science.
  3. Computational complexity.
  4. Communication complexity.

Plenary speakers:

  • 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.


Organizing committee:
  • Daniil Musatov, MIPT. 
  • Andrey Raigorodskiy, MIPT and Yandex.
  • Maksim Zhukovskii, MIPT.
  • Vladimir Remeslennikov, Institute of Mathematics, Siberian Branch of RAS.

Local organizers:
  • Lisa Lantratova.
  • Konstantin Voytikov.
Feel free to ask them any questions concerning accommodation, local transportation, and visas to Russia. They are available at rwc@phystech.edu.

Registration fee:
  • Standard rate — 100 euros.
  • Student rate — free.

Cancellation and payment terms
Registration


Abstract submission

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.

Venue
Accommodation


mipt_logo.jpg                    



If you have noticed a mistake on this page, select it and press Ctrl + Enter

June

09


 

11

Time: 19:00
Location: MIPT campus in Dolgoprudny, Russia

Latest events



Modern Cryo-Electron Microscopy

AI@MIPT announces seminar on big data for genome models, implications for psychiatric genetics

Spring Open House

Interaction Between Algebraic Geometry and QFT