Blog from May, 2012

Seminar - Recent Work with Coq
Jim Entwood posted on May 11, 2012

PRL Seminar for Today (5/11)

Recent Work with Coq

Presented by Mark Reitblatt

  • Friday Noon-1:00PM
  • Meet in Upson 215
No PRL Seminar Today
Jim Entwood posted on May 04, 2012

There will be no PRL Seminar today.

Join us next week (5/11/12) for Mark Reitblatt's presentation of his recent work in Coq.