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.

• The Inaugural JML Spec-a-thon was held on campus at the Unversity of Washington Tacoma, 26-28 May 2009.
• The Second JML Spec-a-thon was held on campus at University College Dublin, 18-20 November 2009.
• The Third JML Spec-a-thon will be held on campus at ITU Copenhagen, 1-5 November 2010.