Generic Programming IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany Gibbons Jeremy Heftet / 2013 / Engelsk
Foundations of Health Information Engineering and Systems Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers Gibbons Jeremy Heftet / 2014 / Engelsk
Bidirectional Transformations International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures Gibbons Jeremy Heftet / 2018 / Engelsk
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings Gibbons Jeremy Heftet / 2012 / Engelsk
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings Gibbons Jeremy Heftet / 2024 / Engelsk
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings Davies, Jim Heftet / 2007 / Engelsk
Generic Programming IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany Gibbons Jeremy Innbundet / 2003 / Engelsk
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings Gibbons Jeremy Heftet / 2009 / Engelsk
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures Backhouse, Roland Heftet / 2002 / Engelsk
