Chris Poskitt
/ 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 2013:
- Manipulating Graphs: Reasoning and Verification
Heap Analysis Workshop at the University of Bamberg. 18-19 February, 2013.
- Concurrency Made Easy
Programming Languages Seminar at The University of York. 7th February, 2013.
Talks in 2012:
- Verifying Total Correctness of Graph Programs
4th Workshop on Graph Computation Models (GCM 2012), Universität Bremen. 28-29 September, 2012.
- Verification of Graph Programs
Doctoral Symposium at 6th International Conference on Graph Transformation (ICGT 2012), Universität Bremen. 26 September, 2012.
- Alan Turing's Legacy: Computation and its Limits
Headstart 2012, Department of Computer Science, The University of York. 10-13 July, 2012.
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
5th 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.
Heap Analysis Workshop at the University of Bamberg. 18-19 February, 2013.
Programming Languages Seminar at The University of York. 7th February, 2013.
4th Workshop on Graph Computation Models (GCM 2012), Universität Bremen. 28-29 September, 2012.
Doctoral Symposium at 6th International Conference on Graph Transformation (ICGT 2012), Universität Bremen. 26 September, 2012.
Headstart 2012, Department of Computer Science, The University of York. 10-13 July, 2012.
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.
5th 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.