Dear all, We are pleased to announce the fourth Midwest Homotopy Type Theory Seminar which will take place at the Ohio State University on the weekend of April 25-26, 2020. INVITED SPEAKERS: - Evan Cavallo (Carnegie Mellon) - Andrew Swan (Carnegie Mellon) - Matthew Weaver (Princeton) REGISTRATION: There is no registration fee, but registration will help the organizers. Please register using this form: https://forms.gle/zBKZeG3caLGq8JDq7 SUBMITTED TALKS: Please submit talks using the registration form. FUNDING: Some funding is available to help young researchers attend the seminar. Please indicate any interest in the registration form. FURTHER DETAILS: Further details, including information about lodging, can be found at https://paigenorth.github.io/midwesthott/ Best, Paige Randall North for the organizers [For admin and other information see: http://www.mta.ca/~cat-dist/ ]