Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
talks [2019-12-20] Sewon Parktalks [2020-10-12] (current) Donghyun Lim
Line 1: Line 1:
 ====== (External) Talks given by Lab Members ====== ====== (External) Talks given by Lab Members ======
  
 +See also our [[https://www.youtube.com/channel/UCSehZy20EPRqgV0uiTzJkEA|YouTube-Channel]]...
 +=== Sep. 2020 ===
 +  * Jiman Hwang: "//Happy Birthday, iRRAM! Considerations for the Future of Exact Real Computation//", [[http://cca-net.de/cca2020/|CCA 2020]] (Sep.10, virtual, originally planned for Bologna, Italy)
 +  * Donghyun Lim: "//What is a Polynomial-time Computable L^2 Function?//", [[http://cca-net.de/cca2020/|CCA 2020]] (Sep.11, virtual, originally planned for Bologna, Italy)
 +=== Mar. 2020 ===
 +=== Feb. 2020 ===
 +=== Jan. 2020 ===
 === Dec. 2019 === === Dec. 2019 ===
 === Nov. 2019 === === Nov. 2019 ===
 === Oct. 2019 === === Oct. 2019 ===
   * Seokbin Lee: "//Grassmannian as Continuous Abstract Data Type with Computable Semantics//", [[https://kaist.theoryofcomputation.asia/waac2019#schedule|WAAC 2019]] (Oct.4, KAIST/Daejeon)   * Seokbin Lee: "//Grassmannian as Continuous Abstract Data Type with Computable Semantics//", [[https://kaist.theoryofcomputation.asia/waac2019#schedule|WAAC 2019]] (Oct.4, KAIST/Daejeon)
 +  * Donghyun Lim: "//Solving the Game of Har-mo-ny by Heuristics//", [[https://kaist.theoryofcomputation.asia/waac2019#schedule|WAAC 2019]] (Oct.5, KAIST/Daejeon)
 +  * Svetlana Selivanova: "//Complexity of Partial Differential Equations//", [[https://shonan.nii.ac.jp/seminars/151/| NII Shonan Meeting No 151]] (Oct.10, National Institute of Informatics/Chiyoda-Ku, Tokyo, Japan)
 === Sep. 2019 === === Sep. 2019 ===
   * Ivan Koswara: "//Complexity of powering real large matrices and small polynomials//", [[https://mattriad.math.cas.cz//programme/|MATTRIAD 2019]] (Sep.9, Liblice, Czech Republic)   * Ivan Koswara: "//Complexity of powering real large matrices and small polynomials//", [[https://mattriad.math.cas.cz//programme/|MATTRIAD 2019]] (Sep.9, Liblice, Czech Republic)
   * Sewon Park: "//Axiomatic Reals in Type Theory for Program Extraction//", [[https://www.fmf.uni-lj.si/~simpson/ccc2019|CCC2019]] (Sep.4, Ljubljana, Slovenia)   * Sewon Park: "//Axiomatic Reals in Type Theory for Program Extraction//", [[https://www.fmf.uni-lj.si/~simpson/ccc2019|CCC2019]] (Sep.4, Ljubljana, Slovenia)