[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CSR 2010: Call for Participation


    5th International Computer Science Symposium in Russia
                 June 16-20, 2010, Kazan, Russia

     Organized by Institute of Informatics of the Tatarstan 
	Academy of Sciences, and Kazan State University



CSR 2010 is the fifth conference in the series of regular
events spanning all areas of computer science. This year
it is mainly focused on its theoretical aspects.

The program of CSR 2010 consists of 30 contributed papers,
an opening lecture by
  Alexander Razborov (University of Chicago and Steklov Mathematical Institute)
and 8 invited lectures by
  Susanne Albers (Humboldt-Universität, Germany)
  Fedor Fomin (University of Bergen, Norway)
  Juraj Hromkovic (Federal Institute of Technology, Switzerland)
  Richard Jozsa (University of Bristol and University of Cambridge)
  Prabhakar Raghavan (Yahoo! Labs and Stanford University)
  Miklos Santha (Université Paris Sud and National University of Singapore)
  Uwe Schöning (Universität Ulm, Germany).

The list of accepted papers can be found at the conference web site.
The preliminary program is coming soon.

Two workshops in Kazan and one in Moscow
are organized in conjunction with CSR-2010.
Pre-conference Workshop on Program Semantics, Specification and Verification:
Theory and Applications (PSSV 2010) in Kazan will be held on June 14-15.

Post-conference Workshop on High Productivity Computations (HPC 2010) in Kazan
will be held on June 21-22. It is intended to organize the discussions 
about high productivity computing means and models, including but not 
limited to high performance and quantum information processing. 

Note also that Franco-Russian Workshop "Complexity in algorithms, 
dynamics and bioinformatics" is organized in Moscow on June 13-15;
one may find it convenient to attend before CSR-2010:
Regarding this one, please contact its organizers directly.

The main accomodation site is the hotel "Korston" which offers conference 
discounts to participants (the number of rooms is limited, accomodation 
requests will be considered on a first-come-first-served basis).

The early registration fee of 300 euros (150 euros for students) should
be paid before March 1, 2010 via bank transfer. The late registration fee 
is 390 euros (240 euros for students). Participants registered after May 13
will be required to pay upon arrival. There are also reduced fees for
participants working in Russia.

To register for participation, please fill in the form at
http://csr2010.antat.ru/CSR2010RegistrationForm.pdf and send it to
info(at)antat.ru. If you plan to participate and need a *Russian visa*, 
please contact the organizers before March 1 since it takes more than 
a month just to issue the official invitation.

Symposium chair: Farid Ablayev (Kazan State University).

Further information and contacts:
  Web: http://csr2010.antat.ru/
  Email: csr2010.kazan(at)gmail.com