log in  |  register  |  feedback?  |  help  |  web accessibility
Logo
Beyond Termination
Tuesday, September 10, 2013, 11:00 am-12:00 pm Calendar
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

 

So we can prove program termination. Now what? In this talk I will discuss the development of tools that build on termination proving techniques. 

Bio

 

Prof. Dr. Byron Cook is Principal Researcher at Microsoft Research, and Professor at University College London.  Byron has worked in the past on Haskell, hardware modelling and verification, biological systems modelling and verification SAT/SMT, symbolic software model checking, temporal logics, and termination proving.

This talk is organized by Mike Hicks