A27 - Institute of Logic & Foundations of Mathematics