ACM Subject Classification

  • Human-centered computing
    • Visualization
    • Interaction design
    • Accessibility
    • Collaborative and social computing
  • Theory of computation
    • Formal languages and automata theory
    • Models of computation
    • Semantics and reasoning
    • Logic