A. Ciabattoni: "Logic-based process calculi: Gödel logic and beyond"; Talk: Workshop Open Problems in Concurrency Theory II, Klosterneuburg (invited); 2017-06-26 - 2017-06-29.