Papers I find interesting---mostly, but not solely, in Process Algebra---, and some fun stuff in Mathematics and Computer Science at large and on general issues related to research, teaching and academic life.
Does any of my readers know who received the 2009 CAV Award? The conference ended on July 2, but the web page has not been updated with that information.
Post a comment if you know who the recipient of the award was.