U. Egly: "Questions around quantified boolean formulas"; Talk: ANR Boole Réunion Finale, Paris, Frankreich (invited); 2013-06-20 - 2013-06-21.