Foredrag

Dataspill og koding i skolen 2015, Bergen
Dataspill og koding i skolen 2015, Bergen

Jeg liker å holde inspirerende og underholdende foredrag innenfor en rekke forskjellige temaer, fra matematikk og informatikk til filosofi og kunst, hvor jeg forsøker å utfordrer mitt publikum til å stille spørsmål ved sine perspektiver og tenke annerledes. Nedenfor er en liste over de neste foredragene jeg skal holde, noen utvalgte foredrag fra de seneste årene og en nokså fullstendig liste over alle foredrag jeg har holdt.

Ta kontakt

Jeg er tilgjengelig for å holde foredrag både i Norge og i utlandet.

«Metaforer, matematikk og forestillingsevnen»

Kommende foredrag og hendelser (logikk)

Ingen planlagte foredrag eller hendelser

Arkiv (logikk)

 29. oktober 2015, kl. 12.15
Matematikk og filosofi: Noen utvalgte temaer
Faglig-pedagogisk dag 2015, Universitetet i Oslo
  2. september 2015, kl. 16.15
Matematisk-filosofisk lek gjennom studietiden
Programutvalget for Informatikk: språk og kommunikasjon, Universitetet i Oslo
 25. mars 2015, kl. 11.30
Abstraksjon
Lærerkonferanse 2015, Lær Kidsa Koding, Oslo
 26. november 2014, kl. 14.00
Logiske metoder
Novemberkonferansen 2014, Trondheim
 30. oktober 2014, kl. 09.15
Faglig-pedagogisk dag 2014, Universitetet i Oslo
  4. september 2014, kl. 10.15
Seminaret i matematisk logikk, Universitetet i Oslo
 29. oktober 2009, kl. 14.15
Logikkseminaret, Institutt for informatikk, Universitetet i Oslo
  9. august 2008, kl. 15.15
Proof, Computation, Complexity -- Intl. Workshop, Oslo, 2008
 18. januar 2008, kl. 10.15
Logikkseminar, Universitetet i Oslo
 17. januar 2007
Alta Logic and Computation Workshop, Alta
  9. mars 2006
Åpen dag 2006, Universitetet i Oslo
  2. februar 2006
Seminar i matematisk logikk
 31. januar 2006
INF5170 - Masterseminar i logikk
  9. juni 2005
4th KeY Symposium 2005, Lökeberg, Sverige
 14. april 2005
Fortløpende skolemisering og variabelsplitting
Seminar i matematisk logikk
 11. april 2005
Deltaregler, skolemisering og sunnhet
INF5170 - Masterseminar i logikk
  8. mars 2005
Åpen dag 2005, Universitetet i Oslo
  7. mars 2005
Deltaregler, skolemisering og sunnhet
INF5170 - Masterseminar i logikk
 27. september 2004
Endelig modellegenskap og filtreringer i modallogikk
INF5170 - Masterseminar i logikk
  4. juli 2004
IJCAR 2004 Doctoral Programme, University College Cork, Cork, Ireland
 16. februar 2004
INF5170 - Masterseminar i logikk
 26. september 2003
Seminar i databehandling, Institutt for informatikk, Universitetet i Oslo
 13. januar 2003
Hovedfagsseminar i logikk ved Språk, logikk og informasjon
 13. januar 2003
Logikkseminaret ved Institutt for informatikk
  2. september 2002
Kompletthet av modallogikk med distribuert kunnskap
Logikkseminaret, Institutt for informatikk, Universitetet i Oslo
  3. mai 2002
Snitteliminasjon
I kurset SLI310/IN310 – Logikk og beregnbarhet 2, Universitetet i Oslo
 11. mars 2002
Med Helle Hansen for kurset «Automated Reasoning» ved Universiteit van Amsterdam, Nederland
  8. februar 2001
Hovedfagsseminar i logikk ved Språk, logikk og informasjon, Universitetet i Oslo