Protocol formalism group coming up, not sure if i will attend, I've been kind of out of the loop on that stuff, and I skipped the [stigmergy] workshop at the symposium – I was into this stuff ages ago in grad school and don't need to revisit it today. And it's tedious when I'm in meetings and all I have to say is "Carl Hewitt invented this 50 years ago". Tempted to write something like "Against Formalism in Protocols". Not that I'm against it, but I find the informal aspects of protocols much more interesting.
Well the real place of interest is where the formalisms and the real world intersect.