Aims and Scope

From CSR 2013
Jump to: navigation, search

CSR 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 since 2010 it has a 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 include, but are not limited to:

  • algorithms and data structures
  • automata and formal languages
  • combinatorial optimization
  • constraint solving
  • computational complexity
  • cryptography
  • combinatorics in computer science
  • 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
Personal tools
Namespaces

Variants
Actions
CSR 2013
Navigation
Toolbox