2019-07-02

PC Co-chair Prof. Nikolaj Bjørner
PSI'19 and CSR'19 joint session
PC Co-Chairs N. Bjørner and I. Virbitskaite
Prof. Sergey S. Goncharov
L.V. Kantorovich Lecture Hall
Prof. Mikhail M. Lavrentiev
PSI'19 and CSR'19 joint session
Prof. Igor V. Marchuk, Head of MMF
Vladimir Kurlyandchik, ARQA Technologies
Dmitry Takvel, UMA Tex
1st row: G. Kucherov and A. Marchuk; 2nd row: A. Terekhov and I. Agamirzian
V. Kurlyandchik, T. Tikhonova, I. Krayneva
Prof. Moshe Vardi, Rice University
Prof. Moshe Vardi
Prof. Moshe Vardi
V. Nepomniashchy
V. Kurlyandchik and Yu. Zagorul'ko
Yu. Zagorul'ko
1st row (right to left): E. Lavrischeva, M. Veanes; 2nd row (right to left): S. Goncharov, A. Palyanov
PSI'19 and CSR'19 joint session
PSI'19 and CSR'19 joint session
V. Kurlyandchik and N. Cheremnykh
V. Kurlyandchik
Coffee break
Coffee break at Novosibirsk University
Prof. Andrew Yao (Tsinghua University, China)
Prof. Andrew Yao
Prof. Andrew Yao
V. Shelekhov
M. Vardi
A. Marchuk, T. Mogensen, N. Garanina, M. Vardi
Prof.Sören Auer (TIB Leibniz Information Centre for Science and Technology, Germany)
Prof. Sören Auer
Artemiy Firsov (IIS)
N. Cheremnykh and T. Rozhenko
N. Cheremnykh and T. Rozhenko
T. Rozhenko, I. Skopin and N. Cheremnykh
S. Troshkov and I. Krayneva
Welcome Party: I. Agamirzian, A. Marchuk, A. Klimov and I. Krayneva
Words of welcome by Prof. M. M. Lavrentiev