Another way that KindSoftware promotes applied formal methods is by giving tutorials are major international conferences. We regularly give a tutorial on JML and ESC/Java2 with our collaborators Erik Poll and David Cok. See the links in the menu on the right for the web pages for this constantly evolving tutorial.