search
attachments
weblink
advanced
Overview
Content Tools
PRL Seminar for Today (5/11)
Recent Work with Coq
Presented by Mark Reitblatt
- Friday Noon-1:00PM
- Meet in Upson 215
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.