C. Fermüller: "How to justify your favorite logical system? - A case study"; Talk: Workshop STRUCTURAL, Paris, France (invited); 2011-06-15 - 2011-06-17.