Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences 8/26/2017 Read more >>
The 2017 ASL European Summer Meeting (Logic Colloquium), LC 2017.Sweden, Stockholm 8/25/2017 Read more >>
Institute of Mathematics with a computer center of the Ufa Scientific Center of the Russian Academy of Sciences 7/1/2017 Read more >>