Blog from April, 2012

Seminar Apr 20 - Adding Shared Memory to the General Process Model
Jim Entwood posted on Apr 19, 2012

PRL Seminar for Friday April 20

Adding Shared Memory to the General Process Model

Presented by: Jason Wu

  • Friday Noon-1:00PM
  • Meet in Upson 215
Apr 13 Seminar - Impredicative vs Predicative Type Theory
Jim Entwood posted on Apr 11, 2012

We will discuss impredicative vs predicative type theory.  Bob will give an introduction and Mark will describe some new work he just finished and Rich Eaton is implementing to make it easier to manage the restrictions imposed by predicative theories like the computational type theory (CTT) of Nuprl.

Friday Apr 13 Noon-1:00PM

Meet in Upson 215

No PRL Seminar Fri (Apr 6)
Jim Entwood posted on Apr 05, 2012

With a grant deadline pending we're cancelling PRL Seminar this week.