Write a Blog >>
Sun 18 Jun 2017 16:00 - 16:45 at Sala d'Actes, Vertex Building - Session 4

Sun 18 Jun

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

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