An exhibition of academic and commercial tools based on formal methods will be part of FM2009. We hope to make more information on the plans for this exhibition available soon, but in the meantime please feel free to contact the Tool Exhibition Chair Alexander Serebrenik if you are interested in presenting your tool at FM2009.