Current Trends in Theory and Practice of Computer Science  
Track filter:   
Foundations of Computer Science

The track is devoted to the recognized core areas forming the heart of computer science, and covering many different fields. Contributions are typically distinguished by an emphasis on mathematical background techniques, but quite often with significant impact on practical applications and systems. In other words, contributions that illustrate the value of fundamental research for applications are especially welcome. Such contributions have traditionally received a lot of attention at SOFSEM conferences, since its birth in 1974.

The list of topics include (but is not limited to):
  • algorithms and data structures, including sequential, parallel, distributed, approximation, and number-theoretic algorithms
  • automata theory and languages
  • complexity theory, both computational and structural
  • concurrency theory
  • discrete mathematics related to computer science
  • grammars and formal models
  • program semantics, logic, and verification
SOFSEM 2008, January 19-25, High Tatras, Slovakia