31 March 2005 Slides for a First Introductory Talk on the Joys of Bisimulation
One of the things I learned by reading Tarski's biography is that he tirelessly campaigned for the field of mathematical logic, and his energetic leadership was instrumental for turning the UC Berkeley mathematics department into a hotbed of research in that field. (A look at the faculty listing of that world class department shows that Tarski's legacy is still very much alive.) Moshe Vardi is admirably playing the same role for logic in Computer Science.
It is becoming increasingly clear to me that the "outreach" efforts of these figures are instrumental in making their fields of interest visible within the research community. One of my modest aims in maintaining this diary is in trying to do my two cents worth for the visibility of concurrency theory.
Locally (these days meaning "at Reykjavik University"), today I gave a survey talk on the correctness problem in computer science, bisimulation equivalence and games, aimed at a general computer science audience. The talk must be considered a flop, since only seven people showed up to listen to me despite my announcement that I was going to play games with the audience. I hope my next preaching session will be better attended. I am not going to give up so easily!
In case any of you is interested, the slides for the talk are available from this location.
Last modified: Thursday, 31-Mar-2005 16:10:13 CEST.