The Danish Council for Strategic Research by the Programme Commission on Strategic Growth Technologies has agreed to fund the DemTech project, in which Joe Kiniry is a principle investigator.
Joe Kiniry gave one of the keynote talks at AVOCS 2010, "Ensuring Consistency between Classifiers and Classes," and an invited talk to the Dusseldorf Java User's Group (aka 'rheinjug'), "Design by Contract with JML." The rheinjug talk was recorded and is available via their rheinjug.tv website.
A paper "Verified Visualisation of Textual Modelling Languages" by Joe and Fintan has been accepted for publication at the OCL and Textual Modelling workshop at MODELS 2010.
Radu Grigore successfully defended his PhD dissertation entitled "The Design and Algorithms of a Verification Condition Generator" on Monday, 23 August 2010. He is now a postdoc working on the jStar project with Dino Distefano and Matthew Parkinson in the Theory Group in the Department of Computer Science at the Queen Mary University of London.
Joe Kiniry is on the Program Committee of SEFM 2011.
The paper Agile Formality: A "Mole" of Software Engineering Practices by Vieri, Dragan, and Joe has been accepted for publication at AM+FM 2010.
Mikoláš successfully defended his PhD dissertation entitled "SAT Solving in Interactive Configuration" on Friday, 28 May 2010. He is now a postdoc working with Ines Lynce at the Instituto Superior Técnico at Inescid in Lisbon.
The binary and source release of JavaFE version 2.0.11 is now available.
Radu Grigore has submitted his PhD dissertation "The Design and Algorithms of a Verification Condition Generator." Congratulations!