PRL Seminar for March 9

Robert Constable leads a discussion: Reviewing Nuprl

• Friday Noon-1:00PM
• Meet in Upson 215