In many cases, the video split into two parts. Google won't allow me to embed YouTube playlists, so if you like part one of any of these, look for part two on YouTube.
Tuesday 17 September
11:00—11:30 Brendan Larvor (opening remarks)
11:30—12:30 Alan Bishop "What would the mathematics curriculum look like if instead of techniques, mathematical values were the focus?"
12:30—13:30 Lunch
13:30—14:30 Paul Ernest "Mathematics and Values: Overt and Covert"
14.45—15:45 David Corfield "Good mathematics as good narrative"
15:45—16:00 Tea
16:00—17:00 Matthew Inglis and Andrew Aberdein "The Personality of Mathematical Proofs"
Wednesday 18 September
9:30 - 10:30 José Ferreirós "Purity as a value: contexts and implications in modern German mathematics"
10:30—10:45 Coffee
10:45—11:20 Emmylou Haffner "From a rigorous and perfectly general standpoint: rigor and generality in Richard Dedekind's mathematics."
11:30—12.30 Emily Grosholz "Explanation and Meaning in Modern Number Theory"
12:30—13:30 Lunch
13:30—14:30 Oleksiy Yevdokimov "Mathematical explanation as the cornerstone of the road towards understanding and appreciation of mathematics"
14.45—15:20 Henrik Kragh Sørensen "Cultures of mathematization: Tracing divergent views on explanations"
15:20—15:45 Tea
15:45 —16:45 Manya Raman Sundström "On Beauty and Explanation in Mathematics"
16:45—17:20 Emil Simeonov "Values in mathematics – a top-down and a bottom-up approach"
Thursday 19 September
9:30 - 10:05 Katalin Gosztonyi "Why don’t we like formalism?
10:05—10.30 Coffee
10.30—11.30 John Mason and Gila Hanna "Qualities of Proofs Contributing to Memorability: Length, Width, and Depth and Front, Back, and Sides"
11:30—11:40 Break
11:40—12:15 Colin Jakob Rittberg "A Lakatosian Approach to Value Systems"
12:15—13:30 Lunch
13:30—14:05 Morten Misfeldt and Mikkel Willum Johansen "Values of problem choice and communication"
14:05—14:45 Ursula Martin and Alison Pease "An experimental approach to mathematical values"
15:00—15:30 Tea
15:30—16:30 Plenary discussion and general reflections