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 submissionsDecember 20, 2014
Notification of acceptance   February 12, 2015
Conference datesJuly 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

See separate page.

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