Hi Marc, > Sure, but it would be a good start to have something in the ISOC > mission statement about promoting protocol checking (hackathon, > testing) and formal verifications of the IETF standards. Per my response to Charles's message a minute ago, capturing at a high level the fact that ISOC supports some technologies beyond their development seems like a good idea to me. Cheers, Gonzalo