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