Topics of interest for submission include but are not limited to:
Algorithms, well-defined methods for solving specific problems

Searching
Sorting
Parsing
Numerical analysis
Compiler theory

Yacc/Bison
Data structures, well-defined methods for storing and retrieving data

Lists
Trees
Hash tables
Computability

Halting problem
Complexity

NP-completeness
Computational complexity theory
Formal methods

Proof of correctness
Program synthesis