As I mentioned in one of my previous postings, Jan Friso Groote is currently visiting Anna and me in Reykjavík. As part of his stay, Jan Friso delivered a seminar on Wednesday, 10 May. The seminar, entitled "Visualization of Large State Spaces", marked, albeit belatedly, the first birthday of ICE-TCS---our little research centre in theoretical computer science.
The talk was the best attended one in computer science I have seen here in Reykjavík. It was accessible to a wide audience, and made a very strong, and aesthetically pleasing, case for the use of visualization techniques in the analysis of models of computing systems.
I had already heard previous versions of (parts of) this talk in Aalborg and Bertinoro, but the visualization tool is improving all the time, and so is the amount of information that an expert like Jan Friso can derive from the pictures it depicts. During the talk, we were treated to some very good examples of what one could call "visual data mining" in concurrency.
The work Jan Friso presented in the talk is described in detail in the paper
J.F. Groote and F.J.J. van Ham. Interactive visualization of large state spaces. International Journal on Software Tools for Technology Transfer 8:77-91, 2006.
I strongly recommend this paper to all of you.
Jan Friso will deliver his second seminar tomorrow, and I hope to post a few lines on it here in due course.