Theses presentations SU

Schedule

Monday 12 June

10:00-11:00: Jonathan Osser - Exploring the Mathematical Multiverse, Location: Mötesrum 41

11:30-12:30 : Martin Svanberg - Mechanizing bidirectional type checking, Location: Mötesrum 41

13:00-14:00: Luneia Stefano - Bondal-Orlov Reconstruction Theorem, Location: Online, Zoom-Link: https://stockholmuniversity.zoom.us/j/66320840849

15:00-16:00: Erik Liukko - Cryptology & Elliptic curves, Location: Mötesrum 41

Tuesday 13 June

09:00-10:00: Emilia Dunfelt -From Non-Local Games to Embeddings of Groups: Resolving Tsirelson’s Problem, Location: Mötesrum 41

9:30-10:30: Caroline Roos - Formalizing Lindenbaum-Tarski Algebra for propositional logic in
Cubical Agda, Location: Kovalevskyroom

13:00-14:00: Ivo Thomasson - Flippa ur: flipgrannskap i dimermodellen, Location: Mötesrum 41

Wednesday 14 June

10:00-11:00: Ingrid Söderberg - Matematiken i Mahjong, Location: Lärosal 1

13:00-14:00: Christian Westin - Det Isopermetriska Problemet då och idag, Location: Mötesrum 25

Thursday 15 June

10:00-11:00: Subash K C - Eulerian number, Location: Mittag-Lefflerroom

11:00-12:00: Approximationer av π, Location: Mittag Lefflerrrom

13:00-14:00: Mbwenga Malti, Location: Mötesrum 25

15:00-16:00: Hao Ju - Ordinals and the Burali-Forti paradox, Location: Mötesrum 25

Friday 16 June

9:00-10:00: Xue Wang - Introduktion till Catalantalen, Location: Mötesrum 25

12:00-13:00: Damian Cid - Fluctuations in First Passage Percolation : an overview from the
perspective of Boolean functions, Location: Mötesrum 25

14.30-15:30: Jack Zhan - Polynomial recursions for counting big blocks in set partitions, Location: Mötesrum 25