Write a Blog >>
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 18 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
11:00
45m
Talk
What is research and how to do it? Thinking globally and acting locally.
PLMW
Michael Hicks University of Maryland, College Park
11:45
45m
Talk
Program synthesis
PLMW
14:00 - 15:30
14:00
45m
Talk
Preventing Information Flow by Construction
PLMW
Jean Yang Carnegie Mellon University
14:45
45m
Talk
Giving good talks
PLMW
Ben Wiedermann Harvey Mudd College
16:00 - 18:00
16:00
45m
Talk
Formal methods research: The what, the why and the how
PLMW
Roopsha Samanta Purdue University
16:45
60m
Other
Career paths in Computer Science
PLMW
Stephen N. Freund Williams College, Martin Huschenbett Jane Street, Kathryn S McKinley Microsoft Research, Roopsha Samanta Purdue University