
<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'>This talk will now be at 3:30pm in room 402.<br><br><div style="color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><style>p { margin: 0; }</style><div style="font-family: arial,helvetica,sans-serif; font-size: 12pt; color: #000000">Talk <br>Tuesday, Oct 27, <b>3:30pm</b><br>Computer Science <b>402 </b><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/" target="_blank">http://www0.cs.ucl.ac.uk/staff/b.cook/</a> for more information. <br><br></div><br></div></div></body></html>