A. Ciabattoni: "Systematic proof theory for Many-valued logics"; Talk: ManyVal´12 (In honor of Antonio Di Nola´s 65th birthday), Salerno, Italy; 2012-07-04 - 2012-07-07.