This podcast series consists of occasional lectures and seminars on the mathematics of program construction - the use of clear, precise mathematical techniques in the development of programs and in proving them correct. In particular, there is a focus on equational reasoning directly with the program text, as opposed to indirect arguments involving a separate formalism such as predicate calculus. For more information, see the webpage of the Algebra of Programming Research Group in the Department of Computer Science at Oxford:

http://www.cs.ox.ac.uk/activities/algprog/