A. Ciabattoni: "Proof Search and Co-NP Completeness for Many-Valued Logics"; Talk: Konferenz zu Coherence & Truth-In memoriam Franco Montagna, Pontignano (invited); 2015-12-16 - 2015-12-18.