Another Isabelle presentation at Curry Club Augsburg (01-Dec-2016) has been recorded and uploaded to Youtube.

See also the original announcement.