No.016 The Java Modeling Language (JML)

The seminar will pull together and energize the broad community of JML researchers and developers. We plan to have seminar participants work together on JMLs documentation, examples, pedagogical materials, and implementation infrastructure. The meeting will also provide a forum for considering changes to the language, for organizing community efforts, and for discussing recent work on formal methods relating to JML and its semantics. In addition to talks we plan working sessions and interactive discussions. We intend to involve the participants in writing documentation, examples, teaching materials, and library specifications. They will also discuss and debug software infrastructure and recent changes in the semantics for JML. In addition, they will discuss and help organize the JML community.