Proving program termination (Part 3)

Add to your list(s) Download to your calendar using vCal

• Byron Cook, Microsoft Research, Cambridge
• Monday 22 October 2007, 10:00-12:00
• Computer Laboratory, William Gates Building, Room FW11.

If you have a question about this talk, please contact Sam Staton.

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/ .

This talk is part of the Mini Courses in Theoretical Computer Science series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• All transferable skills in the university: computing
• 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
• bld31

Note that ex-directory lists are not shown.