[News] AS&P - “Abstraction, Structures and Proofs" Workshop in Vienna, 9-11 February