| Category: ||E-CFP |
| Subject: ||CSR 2008: Second Call for Papers |
| From: || |
| Email: ||csr2008.info_(on)_gmail.com |
| Date received: ||23 Nov 2007 |
| Deadline: ||09 Dec 2007 |
| Start date: ||07 Jun 2008 |
CSR 2008: Second Call for Papers
3rd International Computer Science Symposium in Russia
June 7-12, 2008, Moscow, Russia
Organizers: Dorodnicyn Computing Centre of Russian Academy of Sciences,
Institute for System Programming of Russian Academy of Sciences, Moscow
Moscow Institute of Open Education, Institute of New Technologies.
Opening lecture: Avi Wigderson (IAS, Princeton, USA).
Invited speakers include
Eric Allender (Rutgers University, USA)
Leonid Levin (Boston University, USA)
Pavel Pudlak (Math. Inst. AS CR, Czech Republic)
Uri Zwick (Tel Aviv University, Israel)
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.
Program committee of Theory Track: Sergei Artemov, Matthias Baaz, Boaz
Barak, Lev Beklemishev, Harry Buhrman, Andrei Bulatov, Evgeny Dantsin,
Volker Diekert, Anna Frid, Andreas Goerdt, Andrew Goldberg, Dima
Grigoriev, Yuri Gurevich, Edward Hirsch, Nicole Immorlica, Pascal
Koiran, Michal Koucky, Yury Makarychev, Yuri Matiyasevich, Alexander
Razborov (chair), Victor Selivanov, Alexander Shen, Helmut Veith,
Nikolai Vereshchagin, Sergey Yekhanin.
Program committee of Applications and Technology Track includes Robert
Bauer, Egon Boerger, Stephane Bressan, Gabriel Ciobanu, Maxim Grinev,
Michael Kishinevsky, Gregory Kucherov, Alexandre Petrenko, Andreas
Reuter, Anatol Slissenko (chair), Elena Troubitsyna, Andrei Voronkov,
Symposium chair: Alexei Semenov.
Theory Track topics include
* algorithms and data structures;
* complexity and cryptography;
* formal languages and automata;
* computational models and concepts;
* proof theory and applications of logic to computer science.
Application Track topics include
* artificial intelligence;
* computer architecture, hardware design, nanotechnology;
* databases and knowledge bases, information retrieval and search, Web
* numerical and symbolic computing;
* programming for parallel computing;
* software development and software validation methods and tools.
The symposium will include also special sessions: "In memoriam Andrey
Muchnik" and "Teaching Computer Science".
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.
* Paper submission (via EasyChair): December 9, 2007.
* Notification: February 8, 2008.
* Symposium: June 7-12, 2008.
Further information and contacts:
Web: <http://csr2008.ru/> http://csr2008.ru/
Email: info_(on)_csr2008.ru info_(on)_csr2008.ru>
-- CSR 2008 organizers, info_(on)_csr2008.ru info_(on)_csr2008.ru>
Elsnet-list mailing list