Berkeley lectures

I'm visiting Berkeley University during the month of April. During my visit I'm giving 4 lectures on termination proving. Here are the slides. Warning: they're around 20mb each.

• Lecture 1
  
• Lecture 2
  
• Lecture 3
  
• Lecture 4