The 7th International Computer Science Symposium in Russia
    Proceedings 
    News 
    Call For Papers 
    Conference 
    Important Dates 
    Topics 
    Program 
    Workshops 
    Invited Speakers 
    Committees 
    Venue 
    Travel information 
    Registration 
    Archive 
    Contacts 
    Subscription 
EATCS
Springer Link
Yandex
Microsoft Research

 
The 7th International Computer Science Symposium in Russia
Call For Papers

*************************************************************************************

Second Call for Papers

7th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2012)

Sponsored by European Association for Theoretical Computer Science (EATCS)

July 3-7, 2012, Nizhny Novgorod, Russia

http://agora.guru.ru/csr2012

*************************************************************************************

CSR 2012 intends to reflect the broad scope of international cooperation in computer science. It is the seventh conference in a series of regular events previously held in St.Petersburg (2006), Ekaterinburg (2007), Moscow (2008), Novosibirsk (2009), Kazan (2010), and St.Petersburg (2011). The proceedings are published in Springer LNCS.

IMPORTANT DATES
Deadline for submissions:December 11, 2011. The server will be open for submissions and resubmissions till 6 a.m. of December 14 (GMT time!)
Notification of acceptance:February 17, 2012
Early registration deadline:April 30, 2012
Conference dates:July 3-7, 2012

VENUE
Nizhny Novgorod was founded by Prince Yuri (George) Vsevolodovich in 1221 on the confluence of two great Russian rivers, Volga and Oka. It is a large city accessible by multiple international airlines including regular Lufthansa flights from Frankfurt.

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

OPENING LECTURE
Vijay Vazirani (Georgia Tech)

TURING LECTURE connected to the THE ALAN TURING YEAR 2012 will be given by
Yuri Matiyasevich (PDMI RAS)

INVITED SPEAKERS

PROGRAM COMMITTEE

ORGANIZERS
N.I.Lobachevsky State University of Nizhny Novgorod

CONFERENCE CHAIR
Michail Prilutskii (Lobachevsky State University of Nizhny Novgorod, Russia)

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-7-72376-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=csr2012

YANDEX AWARDs
for the best paper and for the best student paper will be given by the PC.

SPECIAL ISSUE of the journal Theory of Computing Systems will be published by Springer as usual. Authors of papers selected by the PC for the issue will be invited to submit, and the papers will be refereed according to standard rules of ToCS.

FURTHER INFORMATION AND CONTACTS
Webhttp://agora.guru.ru/csr2012
Emailcsr2012.conf at gmail.com

PDF-version is available here.


áÇÏÒÁ