[Proof Complexity] CSR 2018: Call for Participation

[Vladimir Podolskii]

=============

Call for Participation
The 13th International Computer Science Symposium in Russia, CSR-2018
Moscow, Russia
June 6-10, 2018
https://logic.pdmi.ras.ru/csr2018/




THE REGISTRATION FORM IS OPEN.
IF YOU NEED A VISA TO ENTER RUSSIA, WE STRONGLY RECOMMEND TO
REGISTER AT YOUR EARLIEST CONVENIENCE.

The scientific program of CSR 2018 consists of

* 24 contributed papers

(the list of accepted papers is available on the website),

* an opening lecture by Noga Alon (Tel Aviv University, Israel)

and 7 invited lectures:

* Markus Bläser (Saarland University, Germany)
* Vladimir Gurvich (Rutgers University, USA)
* Alexander Kulikov (St. Petersburg Department of
Steklov Institute of Mathematics, Russia)
* Kurt Mehlhorn (Max-Planck-Institut für Informatik, Germany)
* Michael Saks (Rutgers University, USA)
* Rahul Santhanam (University of Oxford, UK)
* László A. Végh (London School of Economics, UK)


Moscow is especially beautiful in Summer. In Moscow you can travel 
through ages just walking through the downtown streets. Diversified 
architectural styles wait for you at every turn. Kremlin is located 20 
minutes on foot from the conference building. To show the whole beauty 
of Moscow, we will provide a boat trip at the Moskva River within the 
social program.


We strongly recommend registering as soon as possible.
Early registration is especially important for foreign participants in 
order
for both you and us to complete the required official paperwork
needed to get a Russian visa.


---------------------------------
Further information and contacts

Web: http://logic.pdmi.ras.ru/csr2018/
Email: csr2018 at googlegroups.com.

---------------------------------
Previous CSR conferences


The list of previous CSR webpages can be found at
http://logic.pdmi.ras.ru/~csr/