NOTE: This site is archived content and is, for the most part, no longer being actively updated. Information on a permanent new home for JMLUnitNG will be available soon; the most recent version released before this site was archived will continue to be available here.

JML Spec-a-thons

A JML Spec-a-thon is a gathering of JML researchers and users for intense collaboration on JML development, modeled after other development gatherings such as the OpenBSD Hackathons and the PyPy Sprints. They are expected to be approximately semi-annual events, held in both Europe and North America, similar in spirit to the February 2008 JML Winter School, but longer, more intense, and geared more toward output production and goal setting than toward education.