We apologize for possible multiple postings. ******************************************************************************* CALL FOR PARTICIPATION 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. 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. ************************************************************************* *** DEADLINE FOR EARLY REGISTRATION: May 15, 2013 *** ************************************************************************* INVITED SPEAKERS * Mario Szegedy (Rutgers) will give an opening lecture * 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) * Paul Spirakis (University of Patras) * Ryan Williams (Stanford University) SCHEDULE Preliminary schedule is available at http://csr2013.urfu.ru/wiki/index.php?title=Schedule REGISTRATION AND FEES For registration please fill in the registration form at http://csr2013.urfu.ru/wiki/index.php?title=Registration_and_Fees Early registration deadline is May, 15 Fees: Early Regular: 330 euro Student: 220 euro Russian participant: 10000 roubles Russian student: 6000 roubles Late Regular: 380 euro Student: 270 euro Russian participant: 12000 roubles Russian student: 8000 roubles The fees include lectures, bags, proceedings and other conference materials, coffee breaks, social program, reception and conference dinner A special local participant fee for participants from Ekaterinburg is 1000 roubles (includes lectures, coffee breaks, and conference materials except for the proceedings) Workshop fees will be announced later SATELLITE EVENTS The 2nd Workshop on Current Trends in Cryptology (June 23-24, 2013) https://www.tc26.ru/en/CTCryptEN/CTCrypt2013/ The 4th Workshop on Program Semantics, Specification and Verification: Theory and Applications (June 23-24, 2013) http://pssv-conf.ru/en/2013/call-for-papers The 6th School for students and young researchers "Computer Science Ekaterinburg Days" (June 29 - July 1, 2013) http://www.csedays.ru/ 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. FURTHER INFORMATION AND CONTACTS Web: http://csr2013.urfu.ru/ Email: csr2013@urfu.ru [For admin and other information see: http://www.mta.ca/~cat-dist/ ]