solver, termination, confluence, rewriting
report, seminar
program verification, parallel processing, concurrency, type system, operational semantics, high performance computing