I'll be offering a seminar on reduction semantics and Redex in the spring: http://www.ccs.neu.edu/home/matthias/369-s09/index.html There are no bribes available, so be prepared that it's all about work and little else :-) -- Matthias