![](/sites/default/files/styles/workshop_banner_sm_1x/public/logic_horizontal.png.jpg?itok=bl1RVreS)
Description
Logic Lounge
Informal afternoon meeting around a sofa on the 2nd level, with short talks from participants in the logic program.
Speakers:
Achim Blumensath, "Algebras for Infinite Trees"
Sam Buss, "New Approaches to the Kneser-Lovasz Chromatic Number"
Bartek Klin, "Computation over Sets with Atoms"