2013

April 2013

A paper "Formal Model-based Validation for Tally Systems" by Joseph Kiniry and Dermot Cochran has been accepted to VoteID'13.

A paper "A Rigorous Methodology for Analyzing and Designing Plug-Ins" by Marie Fasie, Anne Haxthausen, and Joseph Kiniry has been accepted to TOPI'13.

March 2013

Joe Kiniry is on the Program Committee of ASE-Tools.

Joe Kiniry is on the Program Committee of SEFM'13.

February 2013

Photos, slides, and the streamed recording of Joe Kiniry's inaugural lecture at the Technical University of Denmark are now available.