Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
PLDI 2021 (series) / PLMW@PLDI 2021 (series) / PLMW@PLDI 2021 /

Reasoning Under Uncertainty in SMT Solving, Research, and Life

PLMW@PLDI 2021
Mon 21 Jun 2021 15:15 - 16:15 at PLMW - Session 2

Mon 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 16:15
Session 2PLMW@PLDI at PLMW
13:30
75m
Other
Panel on Grad School
PLMW@PLDI
Zachary Tatlock University of Washington, Seattle, Sarah E. Chasins University of California, Berkeley, Andreea Costea School of Computing, National University Of Singapore, Marco Patrignani CISPA Helmholtz Center for Information Security / Stanford University
15:15
60m
Talk
Reasoning Under Uncertainty in SMT Solving, Research, and Life
PLMW@PLDI
Lindsey Kuper University of California at Santa Cruz
Lindsey Kuper

Lindsey Kuper

University of California at Santa Cruz