Computer Science Events – Computer Science – Carleton College

← Wednesday, Feb 22, 2023 - Tuesday, Feb 28, 2023 →

day week month year

February 2023

Thu 23

3:30pm CS Tea Talk: Q&A Event for Prospective Majors - 1h Olin 304, 306, 308

Tue 28

3:00pm CS Tea Talk - "Do What I want, not what I say: Proving software acts according to plan" - 1h 29m Olin 329
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 Anderson 329

Subscribe: Google Calendar | iCal/Desktop

Go to main Campus Calendar →

2025 Spring Term • Week 5


S	M	T	W	T	F	S
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	1	2	3	4
← Jan		today			Mar →

Jump to date:

+ Filter Events − Filter Events

Event Modes:
Informational

Event Categories:
no types added

Intended Audience:
no audiences added