2010

December 2010

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.

October 2010

Joe Kiniry is on the Program Committee of CBSE 2011.

Joe Kiniry gave a talk about some of his past work in gaming, "DALi: Distributed Artificial Life," and a demo of DALiWorld to the Center for Computer Games Research (aka, "the game group") at ITU.

September 2010

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.

August 2010

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 editoral board of the Journal of Object Technology.

Joe Kiniry is on the Program Committee of SEFM 2011.

July 2010

The paper Agile Formality: A "Mole" of Software Engineering Practices by Vieri, Dragan, and Joe has been accepted for publication at AM+FM 2010.

June 2010

A paper Votail by Dermot Cochran and Joe Kiniry was accepted to FoVeOOS 2010.

May 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.

April 2010

The binary and source release of JavaFE version 2.0.11 is now available.

Mikoláš Janota has submitted his PhD dissertation "SAT Solving in Interactive Configuration." Congratulations!

Radu Grigore has submitted his PhD dissertation "The Design and Algorithms of a Verification Condition Generator." Congratulations!

Joe Kiniry is on the Program Committee of FoVeOOS 2010.

January 2010

Joe Kiniry starts an Associate Professor position at IT University of Copenhagen (ITU). The KindSoftware group is temporarily split between UCD and ITU.