March 2008

11^th, The Worker/Wrapper Transformation, Computer Systems Design Laboratory, Department of Electrical Engineering and Computer Science, Kansas University, [Slides] [Paper] [Web Page]

4^th, The Worker/Wrapper Transformation, Galois External Talk, Beaverton, OR, [Slides] [Paper] [Web Page]

February 2008

15^th, The Worker/Wrapper Transformation and its relationship to rippling, CISA Seminar Series, Edinburgh, [Slides] [Paper] [Web Page]

12^th, The Worker/Wrapper Transformation, 5th Fun in the Afternoon, London, [Slides] [Paper] [Web Page]

5^th, The Worker/Wrapper Transformation, Edinburgh LFCS Seminar Series, [Slides] [Paper] [Web Page]