C. Fermüller: "Games in logic and logic in games"; Talk: Institute Vienna Circle, Wien (invited); 2007-09.