Talks

Computer Games and Coding in School 2015, Bergen
Computer Games and Coding in School 2015, Bergen

I enjoy giving inspiring and entertaining talks within a wide variety of topics, ranging from mathematics and computer science to philosophy and art, where I try to challenge the audience to question their perspectives and think differently. Below is a list of the upcoming talks I am giving, some selected talks from the latter years, and a fairly complete list of all the talks I have given.

Get in touch

I am available to give talks both within Norway and abroad.

"Metaphors, Mathematics, and the Imagination" on TED.com

Upcoming talks and events (seminar)

No talks or events scheduled

Archive (seminar)

 October 29, 2009 at 14:15
Logic Seminar, Department of Informatics, University of Oslo
 January 18, 2008 at 10:15
Logic Seminar, University of Oslo
 February 2, 2006
Seminar in Mathematical Logic
 January 31, 2006
INF5170 - Master Seminar in Logic
 April 14, 2005
Run-time Skolemization, and Variable Splitting
Seminar in Mathematical Logic
 April 11, 2005
Delta Rules, Skolemization, and Soundness
INF5170 - Master Seminar in Logic
 March 7, 2005
Delta Rules, Skolemization, and Soundness
INF5170 - Master Seminar in Logic
 October 25, 2004
INF5170 - Master Seminar in Logic, a review of the book "Introduction to Lattice and Order", Davey & Priestley
 September 27, 2004
Final Model Property and Filtrations in Modal Logic
INF5170 - Master Seminar in Logic
 July 4, 2004
IJCAR 2004 Doctoral Programme, University College Cork, Cork, Ireland
 February 16, 2004
INF5170 - Master Seminar in Logic
 December 12, 2003
Seminar in computing, Department of Informatics, University of Oslo
 September 26, 2003
Seminar in Computing, Department of Informatics, University of Oslo
 January 13, 2003
Postgraduate Seminar in Logic at Language, Logic, and Information
 January 13, 2003
Logic Seminar at the Department of Informatics
 September 2, 2002
Completeness of Modal Logic with Distributed Knowledge
Logic Seminar, Department of Informatics, University of Oslo
 March 11, 2002
With Helle Hansen for the course "Automated Reasoning" at the University of Amsterdam, Netherlands
 February 8, 2001
Postgraduate Seminar in Logic by language, logic, and information, University of Oslo