25-29 June 2013
Ekaterinburg, Russia
First Call for Papers 8th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2013) June 25-29, 2013, Ekaterinburg, Russia http://csr2013.urfu.ru/ ******************************************************************************* 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: December 11, 2012 Notification of acceptance: February 13, 2013 Conference dates: June 25-29, 2013 As it has become a tradition, there will be YANDEX AWARDs for the best paper and for the best student paper! VENUE Ekaterinburg is a large city in the heart of Russia, 1600 km (a 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 direct regular flights of a number of international airlines including Lufthansa, Aeroflot, Finnair, Czech Airlines, Turkish Airlines, and FlyDubai. Ural Federal University is the largest Russian university outside Moscow. TOPICS include, but are not limited to: * 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 CONFIRMED INVITED SPEAKERS * Thomas Colcombet (CNRS) * Gilles Dowek (INRIA) * Alexandr Kostochka (University of Illinois at Urbana-Champaign / Novosibirsk State University) * Nicole Schweikardt (Goethe University) * Jeffrey Shallit (University of Waterloo) * Ryan Williams (Stanford University) PROGRAM COMMITTEE * Max Alekseyev (University of South Carolina) * Andris Ambainis (University of Latvia) * Maxim Babenko (Higher School of Economics, Moscow) * Patrick Baillot (ENS Lyon) * Glencora Borradaile (Oregon State University) * Andrei Bulatov (Simon Fraser University) Chair * Yijia Chen (Shanghai Jiao Tong University) * Victor Dalmau (University Pompeu Fabra) * Yevgeniy Dodis (Courant Institute of Mathematical Sciences) * Manfred Droste (University Leipzig) * Anna Frid (Sobolev Institute of Mathematics) * Hamed Hatami (McGill University) * Tero Harju (University of Turku) * Michal Koucky (Mathematical Institute of Czech Academy of Sciences) * Stephan Kreutzer (Tecnical University of Berlin) * Alexander Kulikov (Steklov Institute of Mathematics at St. Petersburg) * Konstantin Makarychev (Microsoft Research at Redmond) * Simone Martini (University of Bologna) * Jaroslav Nesetril (Charles University) * Jean-Eric Pin (University Paris 7) * Harald Raecke (University of Munich) * Alexander Razborov (University of Chicago and Steklov Mathematical Institute) * Mikhail Volkov (Ural Federal University) ORGANIZERS B.N.Yeltsin Ural Federal University, Ekaterinburg, Russia CONFERENCE CHAIR Arseny Shur (Ural Federal University) SUBMISSIONS Authors are invited to submit an extended abstract or a full paper of at most 12 pages in the LNCS format (LaTeX, as pdf; final version with source), in English; instructions can be found at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Proofs and other material omitted due to space constraints are to be put into a clearly marked appendix to be read at discretion of the referees. Papers must present original (and not previously published) research. Simultaneous submission to journals or to other conferences with published proceedings is not allowed. The proceedings of the symposium will be published in Springer's LNCS series. Accepted papers MUST be presented at the symposium. Submissions should be uploaded to the EasyChair Conference system: http://www.easychair.org/conferences/?conf=csr2013 FURTHER INFORMATION AND CONTACTS Web: http://csr2013.urfu.ru/ Email: csr2013@urfu.ru