In the first MIRIx Zurich workshop, we study Logical Induction, based on the paper

https://intelligence.org/files/LogicalInduction.pdf

I will give a non-technical introduction to the main ideas, then we study the mathematical concepts needed to understand Logical Induction in detail. If we progress quickly, we may have time to get started on some original research too.