Mathieu Beirlaen (Ghent) gives a talk at the MCMP Formal Ethics Workshop (11-13 October, 2012) titled "Dynamic Proof Theories for Reasoning with (Conditional) Norms".