February 2023
Tue 28
- 12:00pm Physics Table - 1h
- 3:00pm CS Tea Talk - "Do What I want, not what I say: Proving software acts according to plan" - 1h 29m
- 3:30pm CS Tea Talk: "Do what I want, not what I say: Proving software acts according to plan". Will Leeson is a Ph.D. candidate in the Department of Computer Science at the University of Virginia. His research is focused on improving software engineering tools by replacing human-designed heuristics with machine learning models which leverage rich graph representations. His work has been published at TACAS and is to appear at ICSE 2023. He has been awarded the Outstanding Teaching Award for his teaching in the Department of Computer Science at the University of Virginia - 1h
March 2023
Wed 1
Thu 2
- 12:00pm Periodic Table - 1h
- 3:30pm Computer Science Dept. Winter Comps Gala - 2h 30m
Fri 3
Mon 6
- 12:30pm The Biosphere - 1h
- 3:30pm Seminar: “Sticky feet: "Sea urchin adhesion, plasticity, and climate change” - 1h
Tue 7
- 12:00pm Physics Table - 1h
- 4:00pm Mathematics and Statististics Department Job Fair - 1h
Thu 9
- 10:30am Presentations by Climate Change and Human Health OCS Group - 1h 25m
- 12:00pm Periodic Table - 1h
- 12:00pm Winter Comps Poster Presentation - 1h
- 3:30pm CS Tea Talk with Will Leeson: "Do what I want, not what I say: Proving software acts according to plan" - 1h
Fri 10
Sat 11
Tue 14
- 12:00pm Physics Table - 1h
Subscribe: Google Calendar | iCal/Desktop
Go to main Campus Calendar →
2025 Winter Term begins January 6