Colloquium Talk: Verification for working developers
Thursday, January 20
9am - 10am
McGlothlin-Street Hall, Online on Zoom

Martin Kellogg from University of Washington will present his talk titled "Verification for working developers"

Ongoing Events

View: GridList
Registration for Spring 2022
Monday, October 25 - Friday, February 4
Stetson House

Registration for Spring 2022 began October 25, 2021. Tuition and fees will be billed December 13, 2021 and due January 3, 2022.  Students are strongly encouraged to register by December 10.  Spring Registration for New Students begins January 3, 2022.