PRL Seminar for Today (5/11)
Recent Work with Coq
Presented by Mark Reitblatt
Friday Noon-1:00PM
Meet in Upson 215