CSR 2009 - 4th International Computer Science Symposium in Russia CSR 2009

Call for papersCSR 2009 intends to reflect the broad scope of international cooperation in computer science. It is the 4th conference in a series of regular events started with CSR 2006 in St.Petersburg (see LNCS 3967), CSR 2007 in Ekaterinburg (see LNCS 4649), and CSR 2008 in Moscow (see LNCS 5010). As usual, CSR 2009 consists of two tracks: Theory Track and Applications and Technology Track.
Theory Track topics
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
abstract interpretation
model checking
automated reasoning
deductive methods
constraint solving
functional and declarative languages
type systems
software engineering
development methodologies
for design, development, testing, analysis, and verification of correct and reliable systems.
Submission instructions
Authors are invited to submit an extended abstract or a full paper of at most 10 pages in the LNCS format (the instructions on it can be found here). 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 should be uploaded at EasyChair Conference System.
Proceedings
The proceedings of the symposium will be published in Springer's LNCS series.

Selected papers from the Theory track will be published in a special issue of TOCS.


Download full Call for Papers
Text version September 23 2008

Small PDF poster (please distribute it!)