The PRL Team, lead by Mark Bickford, presented at the recent LADA workshop in Philadelphia. Slides and the position paper titled The Logic of Events, a framework to reason about distributed systems have been posted to the nuprl site.
The links are available from: http://www.nuprl.org/documents/Bickford/LOE-LADA2012.html