Christos will be visiting us from Harvard University.  He will give a talk at noon.  Title/abstract pending. It will probably be something about software contracts, most probably their relationship to authorization.

http://people.seas.harvard.edu/~chrdimo/