<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class="">_______________________________________________<br class="">faculty mailing list - <a href="mailto:faculty@mailman.cs.uchicago.edu" class="">faculty@mailman.cs.uchicago.edu</a><br class=""><a href="https://mailman.cs.uchicago.edu/mailman/listinfo/faculty" class="">https://mailman.cs.uchicago.edu/mailman/listinfo/faculty</a><br class="">_______________________________________________<br class="">Full-professor mailing list<br class="">Full-professor@mailman.cs.uchicago.edu<br class="">https://mailman.cs.uchicago.edu/cgi-bin/mailman/listinfo/full-professor<br class=""></div></blockquote></div><br class=""></div></div></body></html>