Welcome

From CSR 2013
(Difference between revisions)
Jump to: navigation, search
(The 8th International Computer Science Symposium in Russia)
Line 52: Line 52:
 
<big> '''Organizers''' </big>
 
<big> '''Organizers''' </big>
 
<br/>
 
<br/>
B. N. Eltsin Ural Federal University, Ekaterinburg, Russia
+
Ural Federal University, Ekaterinburg, Russia
  
  

Revision as of 10:48, 24 August 2012

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.


Submissions
Authors are invited to submit an extended abstract or a full paper of at most 12 pages in the LNCS format, in English. 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.


Important Dates

Deadline for submissions: December 11, 2012
Notification of acceptance: February 13, 2013
Early registration deadline: TBA
Conference dates: June 25-29, 2013


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
TBA


Organizers
Ural Federal University, Ekaterinburg, Russia


Conference Chair
Arseny Shur, Ural Federal University, Russia


Program Committee Chair
Andrei Bulatov, Simon Fraser University, Canada


Yandex sponsors the best paper and the best student paper awards given by the program committee.


Contacts csr2013@urfu.ru


Sponsors

Personal tools
Namespaces

Variants
Actions
CSR 2013
Navigation
Toolbox