Computer Science Events – Computer Science – Carleton College

← Tuesday, Feb 28 - Monday, Mar 27 →

day week month year

February 2023

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

March 2023

Thu 2

3:30pm Computer Science Dept. Winter Comps Gala - 2h 30m Anderson Atrium, Olin 141, Olin 149, Anderson 329

Thu 9

3:30pm CS Tea Talk with Will Leeson: "Do what I want, not what I say: Proving software acts according to plan" - 1h Anderson 329

Subscribe: Google Calendar | iCal/Desktop

Go to main Campus Calendar →


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:
Lecture/Panel
Comps
no types added

Intended Audience:
General Public
Students
Faculty
Staff
no audiences added