*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***
search
attachments
weblink
advanced
Overview
Content Tools
The PRL Seminar will continue through the spring semester. Our next meeting will be Feb. 3, 2012.
The location has changed to Upson 215. The time is the same, meeting Fridays Noon-1:00PM.
If you are interested in presenting at the PRL Seminar please contact Jim - je277@cornell.edu. More info about the Seminar is on the PRL website
Cornell has a new website called Cloud Computing @ Cornell that highlights cloud computing research throughout the University.
The PRL Project plays a role in cloud research by developing and testing distributed protocols using formal proofs.