*** Deadline extended to December 17, 2007!<br>*** Best paper awards are announced!       <br><br>CSR 2008: Last Call for Papers<br>3rd International Computer Science Symposium in Russia<br>June 7-12, 2008, Moscow, Russia<br>
<a href="http://csr2008.ru/">http://csr2008.ru/</a><br><br>Organizers: Dorodnicyn Computing Centre of Russian Academy of Sciences, Institute for System Programming of Russian Academy of Sciences, Moscow State University, Moscow Institute of Open Education, Institute of New Technologies.
<br><br>Opening lecture: Avi Wigderson (IAS, Princeton, USA).<br><br>Invited speakers include<br>  Eric Allender (Rutgers University, USA)<br>  Leonid Levin (Boston University, USA)<br>  Pavel Pudlak (Math. Inst. AS CR, Czech Republic)
<br>  Yuri Zhuravlev - Konstantin Rudakov (DCC RAS, Moscow)<br>  Uri Zwick (Tel Aviv University, Israel)<br><br>Program committee of Theory Track:<br>  Sergei Artemov (CUNY Graduate Center, USA)<br>  Matthias Baaz (Univ. of Technology, Vienna)
<br>  Boaz Barak (Princeton Univ., USA)<br>  Lev Beklemishev (Steklov Inst., Moscow, Russia)<br>  Harry Buhrman (CWI / Univ. of Amsterdam, Netherlands)<br>  Andrei Bulatov (SFU, Canada)<br>  Evgeny Dantsin (Roosevelt Univ., USA)
<br>  Volker Diekert (Univ. Stuttgart, Germany)<br>  Anna Frid (Sobolev Institute, Novosibirsk, Russia)<br>  Andreas Goerdt (TU Chemnitz, Germany)<br>  Andrew V. Goldberg (MSR-SVC, USA)<br>  Dima Grigoriev (IRMAR, France)
<br>  Yuri Gurevich (Microsoft Research, USA)<br>  Edward A. Hirsch (Steklov Inst., St.Petersburg, Russia)<br>  Nicole Immorlica (CWI, Netherlands)<br>  Pascal Koiran (ENS Lyon, France)<br>  Michal Koucky (Institute of Mathematics, Prague, Czech Republic)
<br>  Yury Makarychev (Microsoft Research, USA)<br>  Yuri Matiyasevich (Steklov Inst., St.Petersburg, Russia)<br>  Alexander Razborov (Steklov Inst., Moscow, Russia / IAS, USA) (chair)<br>  Victor Selivanov (Novosibirsk Pedagogical Univ., Russia)
<br>  Alexander Shen (LIF CNRS, France / IPPI, Russia)<br>  Helmut Veith (TU Munich, Germany)<br>  Nikolay Vereshchagin (MSU, Russia)<br>  Sergey Yekhanin (IAS, USA)<br><br>Program committee of Applications and Technology Track includes
<br>  Robert Bauer (IBM, USA)<br>  Egon Borger (Univ. di Pisa, Italy)<br>  Stephane Bressan (National Univ. of Singapore, Singapore)<br>  Gabriel Ciobanu (Cuza University, Iasi, Romania)<br>  Michael Kishinevsky (Intel, USA)
<br>  Gregory Kucherov (CNRS / LIFL / INRIA, France)<br>  Alexandre Petrenko (CRIM, Canada)<br>  Andreas Reuter (Univ. of Kaiserslautern / European Media Laboratory GmbH, Heidelberg, Germany)<br>  Anatol Slissenko (Univ. Paris 12, France) (chair)
<br>  Elena Troubitsyna (Abo Akademi, Finland)<br>  Andrei Voronkov (Univ. of Manchester, UK)<br>  Sergey Zhukov (Transas, Russia)<br><br>Symposium chair: Alexei Semenov.<br><br>CSR 2008 is the third conference in a series of regular events started with  CSR 2006 in 
St.Petersburg (see LNCS 3967) and CSR 2007 in Ekaterinburg (see  LNCS 4649). It intends to reflect the broad scope of international cooperation  in computer science. CSR 2008 consists of two tracks: Theory Track and Applications and Technology Track.
<br><br>Theory Track topics include<br>* algorithms and data structures;<br>* complexity and cryptography;<br>* formal languages and automata;<br>* computational models and concepts;<br>* proof theory and applications of logic to computer science.
<br><br>Application Track topics include<br>* artificial intelligence;<br>* bio-informatics;<br>* computer architecture, hardware design, nanotechnology;<br>* databases and knowledge bases, information retrieval and search, Web technologies;
<br>* numerical and symbolic computing;<br>* programming for parallel computing;<br>* software development and software validation methods and tools.<br><br>Submissions: Authors are invited to submit an extended  abstract or a full paper of at most 10 pages preferably in the LNCS format. Proofs and other material omitted due to space constraints are to be put into a clearly marked appendix to be read at discretion of the referees. Papers must present original (and not previously published) research. Simultaneous submissions to journals or to other conferences with published proceedings are not allowed. The proceedings of the symposium will be published in Springer's LNCS series.
<br><br>The symposium will include also special sessions: "In memoriam Andrey Muchnik" and "Teaching Computer Science".<br><br>Three best paper awards are established: Best Theory Track Paper, Best Application and Technology Track Paper, and Best Student Paper.
<br><br>Important dates:<br>* Paper submission (via EasyChair): December 17, 2007.<br>* Notification: February 8, 2008.<br>* Symposium: June 7-12, 2008.<br><br>Further information and contacts:<br> Web: <a href="http://csr2008.ru/">
http://csr2008.ru/</a><br> Email: <a href="mailto:info@csr2008.ru">info@csr2008.ru</a><br><br>