Call for Papers
Last Call for Papers
10th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2015) July 13-17, 2015, Listvyanka (Lake Baikal), Russia http://logic.pdmi.ras.ru/csr2015/ CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg (see LNCS 3967), CSR 2007 in Ekaterinburg (see LNCS 4649), CSR 2008 in Moscow (see LNCS 5010), CSR 2009 in Novosibirsk (see LNCS 5675), CSR 2010 in Kazan (see LNCS 6072), CSR 2011 in St.Petersburg (see LNCS 6651), CSR 2012 in Nizhny Novgorod (see LNCS 7353), CSR 2013 in Ekaterinburg (see LNCS 7913), and CSR 2014 in Moscow (see LNCS 8476). |
Poster |
IMPORTANT DATES
Deadline for submissions | December 20, 2014 |
Notification of acceptance | February 12, 2015 |
Conference dates | July 13-17, 2015 (workshops dates TBA) |
As usual, there will be Yandex awards for the best paper and for the best student paper.
TOPICS
include, but are not limited to:
- algorithms and data structures
- algorithms for concurrent and distributed systems, networks
- automata theory and formal languages
- automated reasoning
- automatic structures and applications
- computational complexity
- proof complexity
- Kolmogorov complexity
- combinatorial optimization
- constraint solving
- cryptography
- combinatorics in computer science
- computational models and concepts
- database theory
- description logics
- formal concept analysis
- games and program synthesis
- modal logic
- model checking
- proof theory
- quantum computation
- reasoning about security and privacy
- term rewriting
- verification
OPENING LECTURE
Moshe Y. Vardi (Rice University, USA)
INVITED SPEAKERS
Samuel R. Buss (UCSD, USA)
Phokion Kolaitis (UCSC and IBM Research/Almaden, USA)
Vladimir Podolskii (Steklov Institute/Moscow)
PROGRAM COMMITTEE
ORGANIZERS
Irkutsk State University
Moscow Center for Continous Mathematical Education (MCCME)
CONFERENCE CHAIR
Daniil Musatov (Moscow Institute for Physics and Technology, Russia)
SUBMISSIONS
Authors are invited to submit original (and not previously published) research. Submissions consist of two parts: the main paper and an appendix (which might be empty). The main paper must be at most 14 pages in length, including references. All proofs omitted from the main paper due to space constraints should be given in the appendix or made accessible through a reliable link to a freely available electronic preprint. The papers must be submitted in English, in the LNCS format (LaTeX, as pdf; final version with source) with page numbering turned on using the \pagestyle{plain} command; instructions are here:
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0
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=csr2015
FURTHER INFORMATION AND CONTACTS
Web: http://logic.pdmi.ras.ru/csr2015/
Email: csr2015()googlegroups.com