Recent News (approximately the last six months)

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.