![[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
Monday 22 October 2007, 10:00-12:00
Proving program termination (Part 3)
- 👤 Speaker: Byron Cook, Microsoft Research, Cambridge
- 📅 Date & Time: Monday 22 October 2007, 10:00 - 12:00
- 📍 Venue: Computer Laboratory, William Gates Building, Room FW11
Questions? Contact
Sam Staton
Abstract
This course will survey both old and recently discovered techniques for proving that programs terminate.
This course is made of three parts.
Byron’s started putting some of the slides at http://www.foment.net/byron/ .
Series This talk is part of the Mini Courses in Theoretical Computer Science series.
Included in Lists
- All Talks (aka the CURE list)
- All transferable skills in the university: computing
- bld31
- Cambridge talks
- Computer Laboratory, William Gates Building, Room FW11
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- Mini Courses in Theoretical Computer Science
- Modelling Biology
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.