Plaats: Sn407/409 in de eerste week (27--31 januari), daarna Sn405. Zie hier voor het volledige rooster in het voorjaar van het derde jaar.
De presentaties van de onderwerpen door de docenten worden in de eerste week gegeven. Zie hier voor de volledige lijst met onderwerpen.
Het precieze aantal bijeenkomsten van de bachelorseminaria hangt af van het aantal deelnemers.
27 januari | 14:15-14:30 | Hendrik Lenstra, Inleiding |
14:30-15:00 | Adelina Mânzăţeanu, Waring's problem | |
15:15-15:45 | Marco Streng, Kleiner maken van binaire vormen | |
15:45-16:15 | KP Hart, Diverse projecten | |
16:30-17:00 | KP Hart, Diverse projecten | |
28 januari | 14:15-14:45 | Henning Basold (LIACS), Inleiding in de type-theorie I |
15:00-15:30 | Misja Steinmetz, Perfectoïde lichamen | |
15:45-16:15 | Martin Bright, Het principe van Hasse | |
16:30-17:00 | David Holmes, Muntjes laten omvallen op metrische grafen | |
29 januari | 14:15-14:45 | Henning Basold (LIACS), Inleiding in de type-theorie II |
15:00-15:30 | Francesca Arici, Division algebras and topology: the (1,2,4,8)-theorem | |
15:45-16:15 | Francesca Arici, Ideals in Leavitt path algebras | |
16:30-17:00 | Martin Bright, Inverse Galoistheorie | |
30 januari | 14:15-14:45 | Bram Mesland, De stelling van Serre-Swan |
15:00-15:30 | Ronald van Luijk, Twists | |
15:45-16:15 | Jan-Hendrik Evertse, De stelling van Van der Waerden | |
16:30-17:00 | Hendrik Lenstra, Het cyclotomische ideaal | |
31 januari | 14:15-14:45 | Serge Fehr, Applications of quantum information theory to thermodynamics |
15:00-15:30 | YeongChyuan Chung, Coarse geometry of metric spaces | |
15:45-16:15 | Hendrik Lenstra, Het probleem van Julian | |
16:30-17:00 | Robin de Jong, Fundamentaalgroepen van matrixgroepen | |
5 februari | 14:15-15:00 | Stéphanie van der Pas, Hoe schrijf ik een bachelorscriptie? (zaal 412) |
15:15-16:00 | Rutger de Jong, Cursus Informatievaardigheden (zaal 412) | |
16:15-17:00 | Rutger de Jong, Cursus Informatievaardigheden (practicum, zaal 306-308) | |
12 februari | 14:15-15:00 | Daniël Otten, Impliceert bisimilariteit gelijkheid binnen type-theorie met het univalentie-axioma? |
15:00-15:45 | Peter Stevenhagen, Categorieën en functoren I | |
16:00-16:45 | Peter Stevenhagen, Categorieën en functoren II | |
16:45-17:00 | Ilse Huijskens, Informatie over Career Service ppt (zaal 412) | |
19 februari | 14:15-15:00 | Daan Otto, The relation of the coherent relative entropy to the Rényi divergence |
15:15-16:00 | Sam van Buuren, Constructie van S_n als Galoisgroep over Q | |
16:15-17:00 | Hendrik Lenstra, Tensorproducten I | |
26 februari | 14:15-15:00 | Daniëlle Gramsbergen, Subcoinductive types and limits in type theory |
15:15-16:00 | Jos van der Spek, Deeltjesfamilies en groepsrepresentaties | |
16:15-17:00 | Arthur de Roos, Bijna-lichamen | |
4 maart | 14:15-15:00 | Nand Snijder, Inleiding in topologische groepen |
15:15-16:00 | Onno Berrevoets, Klasse-2 lichaamsuitbreidingen | |
16:15-17:00 | Hendrik Lenstra, Tensorproducten II | |
11 maart | 14:15-15:00 | Sofie Cappenberg, De stelling van Van der Waerden |
15:15-16:00 | Line van Nifterik, Hopf's theorem | |
16:15-17:00 | Steef Hegeman, Recursieve functies en de Church-Turing-hypothese |