Recent News (approximately the last six months)

March 2012

Our various Trac and SVN servers have been moved from Ireland to Denmark. An announcement about their public availability will follow shortly. Consequently, the various SVN URLs mentioned on this website are current not in operation.

A paper "Testing Library Specifications by Verifying Conformance Tests" by Joe, Dan, and Ralph Hyland has been accepted to TAP 2012.

December 2011

Joe Kiniry gave a talk entitled "Validating Semantics" at the second IFIP working group 1.9/2.15 on Verified Software meeting in York, UK.

Joe Kiniry is on the Program Committee of TCS 2012.

Joe Kiniry is on the Program Committee of GAS 2012.

Joe Kiniry has become a become a member of IFIP working group 1.9/2.15 on Verified Software.

November 2011

Joe Kiniry is on the Program Committee of SEFM 2012.

Joe Kiniry gave an invited talk entitled Democracy as a Critical System, and a guest lecture DOSE/GSD Concretized: Distributed Outsourced Software Engineering/Global Software Development: Case Studies, Lessons Learned, Best Practices, at ETHZ.

Joe Kiniry gave an invited talk entitled Democracy as a Critical System at DTU.

Around fifteen BSc and MSc project/thesis descriptions have been posted to the proposals page, primarily for ITU students.

October 2011

Joe Kiniry is on the Program Committee of ICECCS 2012.

May 2011

Joe Kiniry is on the Program Committee of FoVeOSS 2011.