5th International Computer Science Symposium (CSR 2010)
5th International Computer Science Symposium (CSR 2010)
5th International Computer Science Symposium (CSR 2010)
Дата начала: 16.06.2010 Дата окончания: 20.06.2010 Место проведения: Kazan, Russia | Сайт конференции http://csr2010.antat.ru |
Организаторы
- Institute of Informatics of Academy of Sciences of Tatarstan Republic
- Kazan State University
Описание конференции
Purpose and Scope:
This is an annual conference that intends to reflect the broad scope of international cooperation in computer science. In 2006-2009 the symposium consisted of two tracks: Theory Track and Applications and Technology Track, and in 2010 it will have single track. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.
TOPICS
* algorithms and data structures
* combinatorial optimization
* constraint solving
* complexity and cryptography
* 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
This is an annual conference that intends to reflect the broad scope of international cooperation in computer science. In 2006-2009 the symposium consisted of two tracks: Theory Track and Applications and Technology Track, and in 2010 it will have single track. The topics covered vary from year to year, but in general try to cover as much of the contemporary computer science as possible.
TOPICS
* algorithms and data structures
* combinatorial optimization
* constraint solving
* complexity and cryptography
* 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