ISR 2024 – Track A

Schedule

	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
9:00 – 10:30	1	4	7	social event	e4	12
10:30 – 11:00	break				break
11:00 – 12:30	2	5	e3		10	13
12:30 – 14:00	lunch				lunch
14:00 – 15:30	3	e2	8		11	e6
15:30 – 16:00	break				break
16:00 – 17:30	e1	6	9		e5	test

Monday

• lecture 1: examples, terms, matching algorithm
  
• lecture 2: abstract rewrite systems, Newman's Lemma
  
• lecture 3: multiset orders, equational reasoning, algebras
  
• exercises
  

Tuesday

• lecture 4: term rewrite systems, undecidability
  
• lecture 5: congruence closure, termination, polynomial interpretations
  
• exercises
  
• lecture 6: LPO, unification, critical pairs
  

Wednesday

• lecture 7: completion, first-order theory of rewriting
  
• exercises
  
• lecture 8: KBO, normalization equivalence, abstract completion
  
• lecture 9: confluence, orthogonality
  

Friday

• exercises
  
• lecture 10: strategies, normalization
  
• lecture 11: strategy annotations, simple termination
  
• exercises
  

Saturday

• lecture 12: dependency pairs, Z property
  
• lecture 13: matrix interpretations, dependency pairs
  
• exercises
  
• test