From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8327 Path: news.gmane.org!not-for-mail From: "Edward A\. Hirsch" Newsgroups: gmane.science.mathematics.categories Subject: CSR 2015: First Call for Papers Date: Thu, 18 Sep 2014 14:59:30 +0400 Message-ID: Reply-To: "Edward A\. Hirsch" NNTP-Posting-Host: plane.gmane.org Content-Type: text/plain; charset=iso8859-1 X-Trace: ger.gmane.org 1411245990 9080 80.91.229.3 (20 Sep 2014 20:46:30 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 20 Sep 2014 20:46:30 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sat Sep 20 22:46:26 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XVRY1-0007xw-OL for gsmc-categories@m.gmane.org; Sat, 20 Sep 2014 22:46:25 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:43453) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1XVRX2-0001nC-DJ; Sat, 20 Sep 2014 17:45:24 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1XVRX3-0001q6-AP for categories-list@mlist.mta.ca; Sat, 20 Sep 2014 17:45:25 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8327 Archived-At: (apologies if you receive multiple copies) CSR-2015: First Call for Papers The 10th International Computer Science Symposium in Russia July 13-17, 2015, Listvyanka (Lake Baikal), Russia http://logic.pdmi.ras.ru/csr2015 In partnership with European Association for Theoretical Computer Science Program Committee Chair: Lev Beklemishev (Steklov Inst./Moscow) Program Committee: Eric Allender (Rutgers) Sergei Artemov (U. of New York) Andrei Bulatov (Simon Fraser U.) Harry Buhrman (U. of Amsterdam) Nachum Dershowitz (Tel Aviv U.) Edward A. Hirsch (Steklov Inst./St.Petersburg) Bahkadyr Khoussainov (U. of Auckland) Gregory Kucherov (CNRS and U. Marne-la-Vallee) Sergei O. Kuznetsov (Higher School of Economics/Moscow) Daniel Leivant (Indiana U.) Georg Moser (U. of Innsbruck) Damian Niwinski (U. of Warsaw) Prakash Panangaden (McGill U.) Jean-??ric Pin (CNRS and U. Paris-Diderot) Alexander Razborov (U. of Chicago and Steklov Inst./Moscow) Andre Scedrov (U. of Pennsylvania) Alexander Shen (LIRMM/Montpellier and IITP/Moscow) Wolfgang Thomas (Aachen U.) Helmut Veith (TU Vienna) Nikolai K. Vereshchagin (MCCME and Moscow State U.) Mikhail Volkov (Ural Federal U.) Michael Zakharyaschev (U. of London) Distinguished opening lecture: Moshe Y. Vardi (Rice U.) Invited Speakers TBA. Important Dates: Submission: December 14, 2014 Notification: before ICALP deadline 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 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=csr2015 Yandex Awards for the best paper and for the best student paper will be given by the PC. Conference Chair: Daniil Musatov (Moscow Institute of Physics and Technology) Organized by Irkutsk State University Moscow Center for Continuous Mathematical Education Further information and contacts: Web: http://logic.pdmi.ras.ru/csr2015 Email: csr2015 "at" googlegroups.com UNSUBSCRIPTION: If you do not wish to receive any news regarding CSR conferences, please reply to this mail and we will remove you from the mailing list. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]