Welcome
Line 33: | Line 33: | ||
<big> Information on '''hotels''' and '''booking'''</big> | <big> Information on '''hotels''' and '''booking'''</big> | ||
− | is available at the [http://csr2013.urfu.ru/wiki/index.php?title=Hotels | + | is available at the [http://csr2013.urfu.ru/wiki/index.php?title=Hotels Accommodation] page. |
<big> '''Schedule'''</big> | <big> '''Schedule'''</big> |
Revision as of 17:37, 28 March 2013
The 8th International Computer Science Symposium in Russia
The 8th International Computer Science Symposium in Russia (CSR 2013) will take place at the
Ural Federal University, Ekaterinburg, Russia on June 25-29, 2013.
CSR 2013 intends to reflect the broad scope of international cooperation in computer science. It is the
eighth conference in a series of regular events previously held in St.Petersburg (2006), Ekaterinburg (2007),
Moscow (2008), Novosibirsk (2009), Kazan (2010), St.Petersburg (2011), and Nizhny Novgorod (2012). The
proceedings are published in Springer LNCS.
Important Dates
Deadline for submissions: | |
Notification of acceptance: | |
Camera-ready version: | |
Early registration deadline: | May 15, 2013 |
Conference dates: | June 25-29, 2013 |
Registration
is open. Please, visit the Registration and Fees page.
Information on hotels and booking is available at the Accommodation page.
Schedule (preliminary) is available from here. Please, inform us if it is impossible for you to give a talk at the scheduled time.
Topics
include algorithms and data structures, automata and formal languages, combinatorial optimization, constraint solving, computational complexity, cryptography, combinatorics in computer science, computational models and concepts, algorithms for concurrent and distributed systems, networks, proof theory and applications of logic to computer science, model checking, automated reasoning, deductive methods.
Venue
Ekaterinburg is a large city in the heart of Russia, 1600 km (2 hour flight) east from Moscow. It is
the capital city as well as the main financial, cultural, and scientific centre of the Ural region. Ekaterinburg
is accessible by multiple international airlines including direct regular flights from Frankfurt (Lufthansa),
Helsinki (Finnair), and Prague (Czech Airlines). Ural Federal University is the largest Russian university
outside Moscow.
Opening lecture
Mario Szegedy (Rutgers University)
Organizers
Ural Federal University, Ekaterinburg, Russia
Conference Chair
Arseny Shur, Ural Federal University, Russia
Program Committee Chair
Andrei Bulatov, Simon Fraser University, Canada
Yandex Awards will be given to the authors of the best paper and the best student paper.
Contacts
csr2013@urfu.ru