Reasoned Modelling: Towards Decision Support for System Designers [ pdf ]
Invited talk at the BCS-FACS Evening Seminar, joint with the London Mathematical Society, November 30, 2011. For more detail click here.

Automated Theory Formation and Refinement Based Modelling [ pdf ]
Presentation at REFINE-11, a satellite workshop associated with FM-11 (June 2011).

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance [ pdf ]
Presentation at ABZ-10 (Feb 2010).

Automatic Guidance for Refinement based Formal Methods [ pdf ]
Presentation at AFM-10, a satellite workshop associated with FLoC 2010 (July 2010).