The 9th International Computer Science Symposium

Start date: 
Friday, 6 June, 2014
End date: 
Thursday, 12 June, 2014
Place-Venue: 

CSR-2014: First Call for Papers

Important Dates:

  •  Submission: December 9, 2013
  •  Notification: February 12, 2014

Topics: include, but are not limited to:

  •  algorithms and data structures
  •  algorithms for concurrent and distributed systems, networks  computational complexity  proof complexity  Kolmogorov complexity  combinatorial optimization  constraint solving  cryptography  combinatorics in computer science  automata theory and formal languages  computational models and concepts  database theory  applications of logic to computer science  proof theory  model checking  automated reasoning  deductive methods

Submission:

 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=csr2014

More at: http://logic.pdmi.ras.ru/csr2014

 

Contact person in charge