I got my first glimpse of EventML today. In the upcoming course on Formal Methods, Bob & Vincent will be teaching EventML. Today was the test of Vincent's installation for PC. We've got a smooth install ready for Win 7 & XP and will be sending it to the students in a week or so.
More info about EventML is on our CRASH project site.
Jim