Skip to main content
PRL Project

Wider Deployment of Nuprl

by Richard Eaton, Mark Bickford, Robert L. Constable, Christoph Kreitz

Friday Sept 28

Location: Upson 215
Time: 12:05-1:00

We will discuss a plan for making Nuprl more widely accessible. This seminar may not be of wide interest beyond the PRL group.

There won't be a great deal of new technical content.