Topics of interest include (but not limited to):

• Algorithms:
  • algorithm design and optimization
  • approximation, randomized, and heuristic methods
  • circuits and boolean functions
  • combinatorics and analysis of algorithms
  • computational algebra
  • computational complexity
  • computational geometry
  • machine learning and artificial intelligence
  • online algorithms
  • parallel and distributed computing
• Formal methods:
  • algebraic and categorical methods
  • automata and formal languages
  • computability and nonstandard computing models
  • database theory
  • foundations of concurrency and distributed systems
  • logics and model checking
  • models of reacttive, hybrid and stochastic systems
  • principles of programming languages
  • program analysis and transformation
  • specification, refinement and verification
  • security
  • type systems
• Emerging fields:
  • ad hoc, dynamic and evolving systems
  • algorithmic game theory
  • computational biology
  • foundations of cloud computing and ubiquitous systems
  • quantum computing