The 5th International Computer Science
Symposium in Russia, CSR 2010, will take place on June 16-20 2010 at the
Institute of Informatics of the Tatarstan Academy of Sciences, and Kazan State
University, located in Kazan,
Purpose and Scope:
This is an annual conference that intends to reflect the broad scope of
international cooperation in computer science. In 2006-2009 the symposium
consisted of two tracks: Theory Track and
Applications and Technology Track, and in 2010 it will have single track.
The topics covered vary from year to year, but in general try to cover as much
of the contemporary computer science as possible.
Alexander Razborov - Complexity of Propositional Proofs