The 5th International Computer Science Symposium in Russia, CSR 2010

Welcome

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, Russia.

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.

Conference Calendar:

June 2010

Opening Lecture:

Alexander Razborov - Complexity of Propositional Proofs

Recent Updates:

29.06.2010 CSR 2010 Photos and Videos have been added.
16.06.2010 CSR 2010 proceedings are available online for CSR participants.
12.06.2010 The webcast of CSR 2010 will be available here.
23.04.2010 A preliminary program for PSSV Workshop has been added.
21.04.2010 List of accepted papers for PSSV Workshop has been added.
05.04.2010 CSR 2010 website has got a mirror: http://csr2010.ksu.ru/.
29.03.2010 Travel Information has been updated.
29.03.2010 Preliminary program for HPC 2010 has been posted.

Associated Workshops:

13-15 of June, 2010. Franco-Russian Workshop "Complexity in algorithms, dynamics and bioinformatics" (If you wish to participate, please contact its organizers directly)
14-15 of June, 2010. Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010)
21-22 of June, 2010. International Workshop on High Productivity Computations (HPC 2010)

Our sponsors: