<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: arial,helvetica,sans-serif; font-size: 12pt; color: #000000'>Talk <br>Tuesday, Oct 27, 10:30am <br>Computer Science 302 <br>Byron Cook, University College London <br><br>Proving that programs eventually do something good <br><br>In this talk I will discuss research advances that led to practical tools for automatically proving program termination and related properties, e.g. liveness. Practical applications include automatically proving device driver correctness, and pharmaceutical research. <br><br>Byron Cook is Professor of Computer Science at University College London. Byron is also a Senior Principal at Amazon. See <a href="http://www0.cs.ucl.ac.uk/staff/b.cook/">http://www0.cs.ucl.ac.uk/staff/b.cook/</a> for more information. <br><br></div></body></html>