A tutorial on machine-verified proofs
10-11:30 a.m.
6618 Morgridge Hall Also offered online
Click a date to see events on that day.
Search for upcoming events.
View events by popular categories.