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-21] – Donghyun Limtalks [2026-08-29] (current) – Martin Ziegler
Line 1: Line 1:
 ====== (External) Talks given by Lab Members ====== ====== (External) Talks given by Lab Members ======
  
-=== Dec. 2019 === +See also our [[https://www.youtube.com/channel/UCSehZy20EPRqgV0uiTzJkEA|YouTube-Channel]]... 
-=== Nov. 2019 ===+=== Aug.2026 === 
 +  * Jaden Jorradol: [[https://www.youtube.com/watch?v=uq0Qx7eEd_I|Calculation of the signature with Gordon-Litherland formula]], [[https://algo.postech.ac.kr/workshops/waac26/|WAAC 2026, Busan]] 
 +=== Mar. 2026 === 
 +  * Sehun Park: [[https://youtu.be/YeQNMYPSFfE|Parallelizing Picard Iterations]], [[https://www.i.h.kyoto-u.ac.jp/ccc2026/|CCC 2026, Kyoto]] 
 +=== Oct. 2024 === 
 +  * Jaden Jorradol: [[https://www.youtube.com/watch?v=Xbk4a_cQLEc|iRRAM for Knots]], [[https://www.lix.polytechnique.fr/CCC2024/|CCC 2024, Nice]]  
 +=== 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: [[https://www.youtube.com/watch?v=KAQi8kdwJM0|What is a Polynomial-time Computable L^2 Function?]], [[http://cca-net.de/cca2020/|CCA 2020]] (Sep.11, virtual, originally planned for Bologna, Italy)
 === 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)   * 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)