Shaowei Zhu will present his General Exam “A compositional and monotone approach to conditional termination of programs” on May 15, 2020 at 3:30pm via Zoom. Zoom link: [ https://princeton.zoom.us/j/9538001170 | https://princeton.zoom.us/j/9538001170 ] The members of his committee are as follows : Zachary Kincaid (adviser), Aarti Gupta, and Andrew Appel Abstract and Reading List: [ https://docs.google.com/document/d/1Xi7b7PFqU5CpzgkrG5Dldmv1EK01HjCllTNWGgv1... | https://docs.google.com/document/d/1Xi7b7PFqU5CpzgkrG5Dldmv1EK01HjCllTNWGgv1... ] Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.