W. Dvorak: "Lower bounds for symbolic computation on graphs"; Talk: Helmuth Veith Memorial Workshop, Salzburg (invited); 2018-01-28 - 2018-01-31.