ИСТИНА

10th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2015) July 13-17, 2015, Listvyanka (Lake Baikal), Russia CSR 2015 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). Conference dates July 13-17, 2015 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