Donghyun Lim

Talks

2021

• Theorietag 2021
  • Apr 2021, Online Conference
  • Degrees of Second and Higher Order Polynomials
  • Donghyun Lim
• Fourth Workshop on Mathematical Logic and its Applications
  • Mar 2021, Online Conference
  • Degrees of Second and Higher Order Polynomials
  • Donghyun Lim

2020

• KSC 2020
  • Dec 2020, Online Conference
  • Topological Aspects on Nondetermistic Computation
  • Donghyun Lim, Sewon Park
• CCA 2020
  • Sep 2020, Online Conference
  • What is a Polynomial-Time Computable L^2-Function?
  • Donghyun Lim, Svetlana Selivanova, Martin Ziegler
• 2020 KMS Spring Meeting Special Session: Mathematical Logic and Its Applications
  • July 2020, Online Conference
  • Admissible encodings of compact metric spaces
  • Akitoshi Kawamura, Donghyun Lim, Svetlana Selivanova, Martin A Ziegler

2019

• KSC 2019
  • Dec 2019, Pyeongchang, Republic of Korea
  • Grassmannian as Continuous Data Type with Computable Semantics
  • Seokbin Lee, Donghyun Lim, Sewon Park, Martin Ziegler
• Higher-order Complexity Theory and its Applications
  • Oct 2019, Shonan Village Center, Kanagawa, Japan
  • Quantitative Admissibility
  • Donnghyun Lim
• WAAC 2019
  • Oct 2019, KAIST, Daejeon, Republic of Korea
  • Solving the Game of Har-mo-ny by Heuristics
  • Donghyun Lim

2018

• FWAC 2018
  • Nov 2018, Seoul National University, Seoul, Republic of Korea
  • Quantitatively Admissible Representations and the “Main Theorem” of Type-2 Complexity Theory
  • Donghyun Lim, Svetlana Selivanova, Martin Ziegler
• WAAC 2018
  • Jul 2018, Hakata Bus Terminal, Fukuoka, Japan
  • Generalizing the Signed-Digit Representation
  • Donghyun Lim, Svetlana Selivanova, Martin Ziegler