Publications

• F. Verity. Implicatures in continuation-based dynamic semantics by reasoning in the context. MPhil thesis. Australian National University, 2019.
• F. Verity. Implicatures in continuation-based dynamic semantics. In Proceedings of the 23rd Workshop on the Semantics and Pragmatics of Dialogue (SEMDIAL), London, United Kingdom, September 2019.
• F. Verity and D. Pattinson. Formally verified invariants of vote counting schemes. In Proceedings of the Australasian Computer Science Week Multiconference, pages 31:1–31:10, 2017.
• F. Verity, D. Pattinson, and R. Goré. Modular synthesis of provably correct vote counting programs. In Robert Krimmer and Melanie Volkamer, editors, Proceedings of The International Conference on Electronic Voting, pages 55-70, 2016.
• F. Verity. Electronic vote counting as mathematical proof. Honours thesis. Australian National University, 2016.