Skip to Content
Accessibility statement
2013/14 seminar archive
Autumn 2013
- 09 October, James Steele (University College London) - "Neanderthals and the origins of language: some computer modeling approaches" - Hosted by Dimitar Kazakov
- 16 October, Mirco Musolesi (University of Birmingham) - "A Trusted Mechanised Specification of the JavaScript Standard" - Hosted by Edwin Hancock
- 23 October, Colin's day seminars
- 30 October, Matthew Parkison (Microsoft Research Cambridge) - "Ethereum: A secure decentralised generalised transaction ledger" - Hosted by Mike Dodds
- 06 November, Simone Severini (University College London) - "Four decades of functional programming: personal thunks, reflections and futures" - Hosted by Edwin Hancock
- 13 November, Almut Beige (University of Leeds) - "The Heisenberg measurement uncertainty controversy and its resolution" - Hosted by Sam Braunstein
- 20 November, Perdita Stevens (University of Edinburgh) - "Software Language Engineering for Cyber-Physical Systems" - Hosted by Louis Rose
- 27 November, Dimitar Kazakov (University of York) - "Alias calculus, change calculus and more: four years later"
- 04 December, Distinguished International Speaker: John Hughes (Chalmers, University of Gothenburg) - "Algebraic methods for the construction of some combinatorial designs" - Hosted by Jeremy Jacob for celebrating Colin's 40 years at York
Spring 2014
- 15 January, No seminar (Academic Staff meeting).
- 22 January, Distinguished International Speaker: Matteo G. A. Paris (University of Milan) - "A Trusted Mechanised Specification of the JavaScript Standard" - Hosted by Sam Braunstein
- 29 January, Roundhouse Public Lecture: Susan Stepney (University of York) - "Ethereum: A secure decentralised generalised transaction ledger" Ron Cooke Hub, 6.30pm. Join us before the lecture for a free drinks reception from 6pm. Free to attend but ticket required.
- 5 February, No seminar
- 12 February, Distinguished International Speaker: Claire Maiza (Grenoble INP) - "Four decades of functional programming: personal thunks, reflections and futures" - Hosted by Rob Davis
- 19 February, Simon Holland (Open University), "The Heisenberg measurement uncertainty controversy and its resolution" - Hosted by Alistair Edwards
- 26 February, Mohsen Razavi (University of Leeds) - "Software Language Engineering for Cyber-Physical Systems" - Hosted by Sam Braunstein
- 05 March, Simon Dobson (University of St Andrews) - "Alias calculus, change calculus and more: four years later" - Hosted by Alan Wood
- 12 March, Distinguished International Speaker: Marco Buratti (University of Perugia) - "Algebraic methods for the construction of some combinatorial designs"
Summer 2014
- 30 April, Philippa Gardner (Imperial College) - "A Trusted Mechanised Specification of the JavaScript Standard" - Hosted by Jim Woodcock
- 7 May, Gav Wood (Ethereum project) - "Ethereum: A secure decentralised generalised transaction ledger" - Hosted by Simon O'Keefe
- 28 May, Colin Runciman (University of York) - "Four decades of functional programming: personal thunks, reflections and futures"
- 4 June, Paul Busch (Maths, York) - "The Heisenberg measurement uncertainty controversy and its resolution"
- 18 June, Distinguished International Speaker: Bernhard Rumpe (RWTH Aachen, Germany) - "Software Language Engineering for Cyber-Physical Systems" - Hosted by Richard Paige
- 18 July (at 2pm), Bertrand Meyer (ETH Zurich) "Alias calculus, change calculus and more: four years later" - Hosted by Richard Paige