Realfrokost m/foredrag av Anders Søberg

09:00 19. Feb :calendar:

Om dette arrangement

RealFrokost er frokosten hvor du får både gratis mat, kaffe og faglig påfyll med ulike tematikker gjennom uka. Her vil vi ha ulike former for frokostalternativer sammen med nok koffein til å holde deg våken gjennom en hel festivaldag med fullt program og om man har noen forelesninger du må gå i, er bonusen at veien fra “frokostbordet” til auditoriumet eller lesesalen er kort.

Denne onsdagen får vi besøk av tidligere Anders Søberg som skal holde et foredrag om masteroppgaven sin som vant Norsk Regnesentral sin masterpris.

Anders kommer til å snakke om bakgrunnen bak og hvordan logiske språk noen ganger virker litt teite… Masteroppgaven hans handler om en viss måte å beskrive individer uten navn. Disse såkalte “epsilon-individer” har noen spesielle egenskaper som er nødvendige for at det skal fungere i kontekst av logiske språk. Selve oppgaven fokuserer hovedsakelig på de tekniske detaljene rundt implementasjonen av termene.

Presenters

    Photo of Anders Søberg

    Anders Søberg

    Tidligere Fagsjef i Realistforeningen, IFI-student og vinneren av Norsk Regnesentrals pris for beste masteroppgave i 2024.