~~~~~~~~ CMU HoTT Seminar Online ~~~~~~~~ Mike Shulman (University of San Diego) Towards Third-Generation HOTT April 28, May 5, May 12 11:30am-1:00pm EDT (UTC-04:00) Join Zoom Meeting https://cmu.zoom.us/j/622894049 Meeting ID: 622 894 049 Passcode: Brunerie's number [For admin and other information see: http://www.mta.ca/~cat-dist/ ]