Appendix B: Comments from Attendees on the Workshop

• That was one of the best conferences I've attended. Not only were most of the talks good but there was a particularly good mix of people at the workshop who were eager to talk about their work and related ideas.

• This workshop was much more valuable than FM Europe, at a fraction of the cost.

• This was the most well organized workshop I've ever attended at Langley.

• Thanks for the conference. I picked up a lot of useful information.

• There is no regular meeting for the formal methods community. How about expanding your meetings to be yearly with an agenda set up like the GSFC SEL? Just thought I would ask.

• ... thanks again for this year's meeting. It was great fun.

• You all did a super job! Keep up the good work.

• I thoroughly enjoyed the chance to interact with people at FMWS95.

• When will the proceedings be ready? I'm looking forward to studying them.