Presentationer av uppsatser
Seminarium
Datum: tisdag 13 juni 2023
Tid: 09.00 – 14.00
Plats: Mötesrum 41
SEMINARIUM Datum: tisdag 13 juni 2023 Tid: 09.00 – 14.00 Plats: Mötesrum 41 Kandidat- och masteruppsatser kommer att presenteras 13 juni i mötesrum 41 mellan 09.00 och 14.00.
09.00 Emilia Dunfelt
Titel: From Non-Local Games to Embeddings of Groups: Resolving Tsirelson’s Problem
Masteruppsats
Handledare: Sven Raum
09.30 Caroline Roos
Titel: Formalizing Lindenbaum-Tarski Algebra for propositional logic in Cubical Agda
Kandidatuppsats
Handledare: Anders Mörtberg
13.00 Ivo Thomasson
Title: Flippa ur: flipgrannskap i dimermodellen
Kandidatuppsats
Handledare: Per Alexandersson
Senast uppdaterad: 9 juni 2023
Sidansvarig: Matematiska institutionen