Theses presentations SU
Time: Mon 2023-06-12 10.00 - Fri 2023-06-16 13.30
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