Bjørn Kjos-Hanssen

Search

Primary Menu

Skip to content
  • Bjørn Kjos-Hanssen
  • Posts
  • Publications
  • Software
    • Android
    • Plugin
    • Web
      • Autocomplete
      • Complexity guessing game
      • Complexity lookup
      • Complexity option game
      • Structure function calculator
  • Teaching
    • MATH 654 (Fall 2018)
    • Math 657 (Spring 2014)
    • Courses taught
      • Accelerated calculus 2016-2017
      • Math 242 (Fall 2014)
      • MATH 244 (Spring 2016)
      • MATH 253A
      • MATH 372
      • MATH 373 (Spring 2017)
      • MATH 471&472 (2014-2015)
      • MATH 472 (Spring 2016)
      • MATH 480 Senior Seminar (Spring 2015)
      • MATH 480 Spring 2018
      • Math 649B
      • Math 672 (Spring 2014)
  • Calendar

D. Lukas

Back to Calendar
  • Add to Timely Calendar
  • Add to Google
  • Add to Outlook
  • Add to Apple Calendar
  • Add to other calendar
When:
October 20, 2010 @ 2:30 pm – 3:30 pm
2010-10-20T14:30:00-10:00
2010-10-20T15:30:00-10:00
Logic seminar

Post navigation

Previous PostLampe: NCNext PostSteve Simpson (Penn State): Computable symbolic dynamics

Links

  • Bjørn Kjos-Hanssen's articles on arXiv.org
  • Computability.org
  • CV
  • Deontic logic
  • Department of Mathematics

Professor of Mathematics, University of Hawaii at Manoa

Recent Posts

  • San Luis Obispo: Logic and Analysis Special Session
  • Coherent spaces in linear logic
  • Hilbert space model of linear logic
  • Phase semantics for linear logic
  • Mathlib contributions

Categories

  • calculations
  • computability
  • conferences
  • editorial board
  • LaTeX
  • modal logic
  • outreach
  • publications
  • research
  • service
  • students
  • teaching
  • TV
  • web design/development

Just for fun

  1. Back to Calendar
    • Add to Timely Calendar
    • Add to Google
    • Add to Outlook
    • Add to Apple Calendar
    • Add to other calendar
    When:
    October 20, 2010 @ 2:30 pm – 3:30 pm
    2010-10-20T14:30:00-10:00
    2010-10-20T15:30:00-10:00
    Logic seminar
    Loudspeaker

    Pronunciation

    May 8, 2014 admin
More audio →
Proudly powered by WordPress