Chris Poskitt's Homepage
/ Talks
Below is a list of (mostly) research talks I have given. Slides are only available online for a few selected talks; if you want the slides for any of the others, please contact me.
Talks
Talks in 2011:
- Hoare-Style Verification of Graph Programs
Invited talk, Theory Group Seminar, Universität Oldenburg. 1st November, 2011.
- Hoare-Style Verification of Graph Programs
CLUB2 Seminar, Theorem Proving Group, Technische Universität München. 24th October, 2011.
- What it's really like: Thoughts from an "experienced" PGWT
Invited talk, PGWT (PostGraduates Who Teach) Residential, at the Fairfield Manor Hotel, York. Organised by the Researcher Development Team, The University of York. 14-15 September, 2011.
- Alan Turing's Legacy: Computation and its Limits
Headstart 2011, Department of Computer Science, The University of York. 12-15 July, 2011.
- Teaching Mathematics to Software Engineers
PFA (Preparing Future Academics) Symposium. The University of York. 15-16 March, 2011.
- Verifying Graph Programs: What, Why, How?
York-IISc workshop, hosted by the Department of Computer Science and Automation at the Indian Institute of Science, Bangalore, India. Supported by UKIERI. 22-24 February, 2011.
Talks in 2010:
- A Hoare Calculus for Graph Programs
Fifth International Conference on Graph Transformation (ICGT 2010), University of Twente. 29th September, 2010.
- Hoare Logic for Graph Programs
The Theory Workshop at the Third International Conference on Verified Software: Theories, Tools, and Experiments, Heriot-Watt University. 18th August, 2010.
- Relational Calculus Lunchtime Tutorial
Marktoberdorf Summer School on Software and Systems Safety: Specification and Verification. 3-15th August, 2010.
- Towards a Hoare Calculus for Graph Programs
26th British Colloquium for Theoretical Computer Science, The University of Edinburgh. 6-9th April, 2010.
- Formalisms for the Verification of Graph Programs
Literature Review Seminar, The University of York. 11th January, 2010.
Page Last Updated: 9th December 2011
Invited talk, Theory Group Seminar, Universität Oldenburg. 1st November, 2011.
CLUB2 Seminar, Theorem Proving Group, Technische Universität München. 24th October, 2011.
Invited talk, PGWT (PostGraduates Who Teach) Residential, at the Fairfield Manor Hotel, York. Organised by the Researcher Development Team, The University of York. 14-15 September, 2011.
Headstart 2011, Department of Computer Science, The University of York. 12-15 July, 2011.
PFA (Preparing Future Academics) Symposium. The University of York. 15-16 March, 2011.
York-IISc workshop, hosted by the Department of Computer Science and Automation at the Indian Institute of Science, Bangalore, India. Supported by UKIERI. 22-24 February, 2011.
Fifth International Conference on Graph Transformation (ICGT 2010), University of Twente. 29th September, 2010.
The Theory Workshop at the Third International Conference on Verified Software: Theories, Tools, and Experiments, Heriot-Watt University. 18th August, 2010.
Marktoberdorf Summer School on Software and Systems Safety: Specification and Verification. 3-15th August, 2010.
26th British Colloquium for Theoretical Computer Science, The University of Edinburgh. 6-9th April, 2010.
Literature Review Seminar, The University of York. 11th January, 2010.