2011
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.
March 2011
Joe Kiniry gave an invited talk entitled Democracy as a Critical System to the Department of Computer Science in the University of Aarhus.
Several postdoc and PhD student positions will be available later this year.
A paper "Verified Gaming" by Joe, Dan, and Fintan has been accepted to GAS 2011.
A paper "Achieving Instant Gradeification" by Dan, Joe, and Fintan has been accepted to CSEE&T 2011.