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 has become a become a member of IFIP working group 1.9/2.15 on Verified Software.
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.
Around fifteen BSc and MSc project/thesis descriptions have been posted to the proposals page, primarily for ITU students.
Several postdoc and PhD student positions will be available later this year.