Welcome

From CSR 2013
(Difference between revisions)
Jump to: navigation, search
Line 14: Line 14:
  
  
<big>'''Submissions'''</big>
+
<big>'''Instructions for Authors'''</big>
 
<br/>
 
<br/>
Authors are invited to submit an extended abstract or a full paper of at most 12 pages in the [http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0 LNCS] format, in English. Proofs and other material omitted
+
Both the final paper and the signed '''[http://csr2013.urfu.ru/wiki/images/5/5c/Copyright-form-lncs-CSR-2013.pdf copyright form]''' are due on '''<font color="red"> March 8, 2013 </font>'''
due to space constraints are to be put into a clearly marked appendix to be read at discretion of the referees.
+
and this deadline is strict, based on Springer procedures for LNCS. Note that for the final version there is a strict limit of 12 pages in total (including everything, such as abstract, references, etc.).
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 [http://www.easychair.org/conferences/?conf=csr2013 EasyChair] Conference system.
+
  
 +
1. CAMERA-READY COPY: Please submit the files belonging to your camera-ready copy using your [http://www.easychair.org/conferences/?conf=csr2013 EasyChair] author account. Follow the instructions after the login for uploading two files:
 +
 +
(a) a zipped file containing all LaTeX sources, and
 +
 +
(b) a PDF version of the camera-ready copy, corresponding to (a).
 +
 +
Please follow strictly the author instructions of Springer-Verlag when preparing the final version: http://www.springer.de/comp/lncs/authors.html. In particular, check the requirements regarding figures and references/bibliography and do not change the layout and fonts in any way. We also strongly advise against using exotic styles and packages.
 +
 +
2. COPYRIGHT: Please send a signed and completed copyright form to us. A version of the Springer copyright form where the CSR data is filled in already can be found '''[http://csr2013.urfu.ru/wiki/images/5/5c/Copyright-form-lncs-CSR-2013.pdf here]'''.
  
 
<big> '''Important Dates''' </big>
 
<big> '''Important Dates''' </big>

Revision as of 19:50, 14 February 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.


Springer logo.jpg LNCS logo.jpg


Instructions for Authors
Both the final paper and the signed copyright form are due on March 8, 2013 and this deadline is strict, based on Springer procedures for LNCS. Note that for the final version there is a strict limit of 12 pages in total (including everything, such as abstract, references, etc.).

1. CAMERA-READY COPY: Please submit the files belonging to your camera-ready copy using your EasyChair author account. Follow the instructions after the login for uploading two files:

(a) a zipped file containing all LaTeX sources, and

(b) a PDF version of the camera-ready copy, corresponding to (a).

Please follow strictly the author instructions of Springer-Verlag when preparing the final version: http://www.springer.de/comp/lncs/authors.html. In particular, check the requirements regarding figures and references/bibliography and do not change the layout and fonts in any way. We also strongly advise against using exotic styles and packages.

2. COPYRIGHT: Please send a signed and completed copyright form to us. A version of the Springer copyright form where the CSR data is filled in already can be found here.

Important Dates

Deadline for submissions: December 11, 2012 extended to December 20, 2012 (23:59 GMT)
Notification of acceptance: February 13, 2013
Camera-ready version: March 8, 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
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


Sponsors SKB Kontur.png

Personal tools
Namespaces

Variants
Actions
CSR 2013
Navigation
Toolbox