Tuesday, November 27, 2007

3rd International Computer Science Symposium in Russia (CSR-2008)

Date & Venue :
June 7-12, 2008, Moscow, Russia

Important Dates :
Submission deadline: December 9, 2007 (EasyChair is now open).
Notification to authors: February 8, 2008.
Symposium: June 7–12, 2008.

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.

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.

Poster of the symposium (pdf) Please distribute the information about CSR 2008 and inform everybody who is likely to be interested in this event.

Opening lecture: Avi Wigderson (IAS, Princeton, USA).

Invited speakers include

Eric Allender (Rutgers University, USA)
Leonid Levin (Boston University, USA)
Pavel Pudlák (Math. Inst. AS CR, Czech Republic)
Uri Zwick (Tel Aviv University, Israel)

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.

Applications and Technology Track topics include
* programming and languages;
* 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.


Submissions are to be made via EasyChair no later than on December 9th, 2007. Notifications will be sent by February 8th, 2008.

Proceedings: The proceedings of the symposium will be published in Springer's LNCS series.

Contact e-mail: info@csr2008.ru

For complete information, visit : http://csr2008.ru/HomePage