Seminar on Rewriting and Equational Reasoning

Resources

• Rewriting Web Site
• Open Problems List to choose from
• Advice for Finishing a Degree
• Survey of Rewriting
• Textbook on Rewriting
• Online Book

Schedule

1. 16.10 Introduction
2. 23.10 Logic programming
3. 30.10 Unification
4. 6.11 Induction
5. 13.11 Proof by Consistency
6. 20.11 An Implementation (Spike)
7. 27.11 Satisfiability of Word Problem -- by Kfir Bar, part I
8. 4.12 Satisfiability of Word Problem -- by Kfir Bar, part II
9. 11.12 Decidability of Ground Convergence -- by Yahav Nussbaum
10. 18.12 Proving first order theorems by equational reasoning
11. 25.12 
12. 1.1 Termination of String Rewriting by -- Tuli Uchitel, part I
13. 8.1 Termination of String Rewriting by -- Tuli Uchitel, part II
14. 15.1 Modularity of Confluence -- by Yoel Hiyutin