Computer Science Events
This calendar presented by
Computer Science
Skip calendar navigation
26 | 27 | 28 | 29 | 30 | 31 | 1 |
2 | 3 | 4 | 5 | 6 | 7 | 8 |
9 | 10 | 11 | 12 | 13 | 14 | 15 |
16 | 17 | 18 | 19 | 20 | 21 | 22 |
23 | 24 | 25 | 26 | 27 | 28 | 29 |
30 | 31 | 1 | 2 | 3 | 4 | 5 |
Go to today |
Colloquium Talk: Verification for working developers
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"
SuSunday | MoMonday | TuTuesday | WeWednesday | ThThursday | FrFriday | SaSaturday |
---|---|---|---|---|---|---|
26 | 27 | 28 | 29 | 30 | 31 | |
1 | 2 | 3 | 4 | 5 |
Ongoing Events
Registration for Spring 2022
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.