Sort by:
Past Event

Greg Nelson (Washington) – Learning Technology for Formal Systems

Mar 11, 2021
Past Event

Ravi Chugh (UChicago) – Reimagining the User Interfaces for Programming

Oct 02, 2020
Past Event

Robert Rand (Maryland) – How to Program Your Quantum Computer – and Get It Right

Feb 24, 2020
Past Event

Dominik Moritz (Washington) – Visualization for People + Systems

Apr 15, 2019
Past Event

Ranjit Jhala (UCSD) – Language-Integrated Verification

Jan 22, 2019
Past Event

Brian Hempel’s MS Presentation

Dec 05, 2018