This Monday, 8/18, I will be giving a talk on my work with Pete, which introduces and partially solves the "All-Termination(T)" problem. We will again be in WVH166, from 1-3pm. Please join us!