![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Byron Cook, Microsoft Research, Cambridge
Thursday 04 October 2007, 10:00-12:00
Proving program termination
⚠️ Important: This talk has been canceled/deleted
- 👤 Speaker: Byron Cook, Microsoft Research, Cambridge
- 📅 Date & Time: Thursday 04 October 2007, 10:00 - 12:00
- 📍 Venue: Computer Laboratory, Room FW11
Questions? Contact
Sam Staton
Abstract
This course will survey both old and recently discovered techniques for proving that programs terminate.
Series This talk is part of the Mini Courses in Theoretical Computer Science series.
Included in Lists
This talk is not included in any other list.
Note: Ex-directory lists are not shown.