8th January 2018


Olivia Caramello – Stone type duality through topos-theoretical bridges

Paul Andre Mellies – Programming languages ​​and ropes diagrams.