posted by user: yura || 2748 views || tracked by 8 users: [display]

CSR 2008 : 3rd International Computer Science Symposium in Russia

FacebookTwitterLinkedInGoogle


Conference Series : Computer Science Symposium in Russia
 
Link: http://csr2008.ru/
 
When Jun 7, 2008 - Jun 12, 2008
Where Moscow, Russia
Submission Deadline Dec 9, 2007
Notification Due Feb 8, 2008
Categories    theory   applications   technology
 

Call For Papers

CSR 2008: First 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 State University, Moscow Institute of Open Education, Institute of New Technologies.

Opening lecture: Avi Wigderson (IAS, Princeton).

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, Sergey Zhukov.

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;
* bio-informatics;
* computer architecture, hardware design, nanotechnology;
* databases and knowledge bases, information retrieval and search, Web technologies;
* 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.

Important dates:
* Paper submission (via EasyChair): December 9, 2007.
* Notification: February 8, 2008.
* Symposium: June 7-12, 2008.

Further information and contacts:
Web: http://csr2008.ru/
Email: info@csr2008.ru

Related Resources

ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
RO-MAN 2018   27th IEEE International Conference on Robot and Human Interactive Communication
CSR 2018   The 13th International Computer Science Symposium in Russia
IEIJ 2018   Informatics Engineering, an International Journal
ICSSHE 2018   2018 4th International Conference on Social Science and Higher Education
IJITE 2018   International Journal on Integrating Technology in Education
DISC 2018   Special Issue on Data Intelligence in Sustainable Computing, Journal of Sustainable Computing: Informatics and Systems
Scopus-AIACT 2018   2018 2nd International Conference on Artificial Intelligence, Automation and Control Technologies (AIACT 2018)
ICSTR 2018   ICSTR Bangkok – International Conference on Science & Technology Research, 21-22 December, 2018
ICRST 2018   ICRST (2018) XIXth International Conference on Researches in Science & Technology, 26-27 October 2018, Colombo