1. Category theory and its Applications in System Design
2. Logic
3. Formal Specification
4. Parsers / Formal Languages
5. Distributed systems and Consensus
6. Universal algebra and Term Rewriting
7. Process algebras
8. Model Theory
9. Programming Language semantics
10. Computability theory
11. Model checking and FPGA verification
12. Automated theory Proving
13. Type Theory
14. Homotopy Type theory and Categorical Logic
15. Computational versions of the above
1. Category theory and its Applications in System Design 2. Logic 3. Formal Specification 4. Parsers / Formal Languages 5. Distributed systems and Consensus 6. Universal algebra and Term Rewriting 7. Process algebras 8. Model Theory 9. Programming Language semantics 10. Computability theory 11. Model checking and FPGA verification 12. Automated theory Proving 13. Type Theory 14. Homotopy Type theory and Categorical Logic 15. Computational versions of the above