Blog from January, 2012

PRL Seminar next meeting Feb. 3
Jim Entwood posted on Jan 25, 2012

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

Cloud Computing at Cornell
Jim Entwood posted on Jan 20, 2012

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.