7th International Computer Science Symposium in Russia will hold many special topics of concern, which will make it very informative and unique. Algorithms and data structures, combinatorial optimization, constraint solving, computational complexity, cryptography, combinatorics in computer sciencem formal languages and automata, computational models and concepts, algorithms for concurrent and distributed systems, networks, proof theory and applications of logic to computer science, model checking, automated reasoning, deductive methods will be some of the topics which will be discussed at the conference.

7th International Computer Science Symposium in Russia will provide a base for sharing the knowledge, thoughts and the outcomes in the theory, methodology and applications of Computer Science. The conference will able to gain success as many practitioners will be participating and providing the information.

Register