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 (logic)

No talks or events scheduled

Archive (logic)

 October 29, 2015 at 12:15
Mathematics and Philosophy: Selected topics
Scientific-Pedagogical Day 2015, University of Oslo
 September 2, 2015 at 16:15
Mathematical-Philosophical play through Studying
Program Committee for Informatics: Language and Communication, University of Oslo
 March 25, 2015 at 11:30
Abstraction
Teacher's Conferences 2015, Teach Kids Coding, Oslo
 November 26, 2014 at 14:00
Logical Methods
November Conference 2014, Trondheim
 October 30, 2014 at 09:15
Scientific–Pedagogical Day 2014, University of Oslo
 September 4, 2014 at 10:15
seminar in Mathematical Logic, University of Oslo
 October 29, 2009 at 14:15
Logic Seminar, Department of Informatics, University of Oslo
 August 9, 2008 at 15:15
Proof, Computation, Complexity -- Intl. Workshop, Oslo, 2008
 January 18, 2008 at 10:15
Logic Seminar, University of Oslo
 January 17, 2007
Alta Logic and Computation Workshop, Alta
 March 9, 2006
Open Day 2006 University of Oslo
 February 2, 2006
Seminar in Mathematical Logic
 January 31, 2006
INF5170 - Master Seminar in Logic
 June 9, 2005
4th Key Symposium 2005, Løkeberg, Sweden
 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 8, 2005
Open Day 2005, University of Oslo
 March 7, 2005
Delta Rules, Skolemization, and Soundness
INF5170 - Master Seminar in Logic
 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
 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
 May 3, 2002
Cut Elimination
In the course SLI310/IN310 – Logic and computability 2, 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