6th International Computer Science Symposium in Russia (CSR 2011)
June 14-18, 2011, St. Petersburg, Russia
http://logic.pdmi.ras.ru/csr2011/
*** WE STRONGLY RECOMMEND TO REGISTER BEFORE February 21, 2011 ***
The scientific program of CSR 2011 consists of
* 29 contributed papers
(the list of accepted papers is now available on the website),
* an opening lecture by Dima Grigoriev (Lille, France),
and 8 invited lectures:
* Manindra Agrawal (Indian Institute of Technology Kanpur, India)
* Lazslo Babai (University of Chicago, USA)
* Andrei Bulatov (Simon Fraser University, Canada)
* Jarkko Kari (University of Turku, Finland)
* Alexander Shen (LIF Marseille, France)
* Amir Shpilka (Technion, Israel)
* Madhu Sudan (MIT & Microsoft Research, USA)
* Sergey Yekhanin (Microsoft Research, USA)
In addition, there will be three pre-conference workshops:
* Workshop on post-quantum cryptography
* Second Workshop on Program Semantics, Specification and Verification:
Theory and Applications
* Workshop on Universal Algebra and Computer Science.
St. Petersburg is beautiful at any time of year. The early
summer, known as the "white nights" season, is especially lovely.
The city is surrounded by wonderful tsar parks and palaces;
an excursion to one of them will be a social program of the symposium.
The preliminary program and registration information can be found
at the conference Web site.
We strongly recommend registering as soon as possible.
Hotels are already quite booked. 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/csr2011/
Email: csr2011@logic.pdmi.ras.ru
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
