PRL Research Meeting: Posting Consensus Material to the Library

Join a discussion with the PRL team.

The PRL seminar for Friday Oct 21 will be a research meeting concerned with how to post proof material for simple consensus to the Library.  We will examine the formal material as written in Nuprl proofs and in EventML and consider the best ways of organizing this material in the library. Rich will display the material interactively to help focus the discussion.

This Friday’s seminar will take place in Upson 5126 from Noon-1PM.