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

Website http://math.nsc.ru/conference/csr2009/index.shtml | Edit Freely

Category CSR 2009

Deadline: November 26, 2008 | Date: August 18, 2009

Venue/Country: Novosibirsk, Russia

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

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!)