Neil Coleman (Bristol) gives a talk at the Bristol-Munich Workshop titled "Logic as Modelling".