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
Last revisionBoth sides next revision
talks [2019-12-21] – Donghyun Limtalks [2020-10-12] – Jiman Hwang
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)
 +=== Mar. 2020 ===
 +=== Feb. 2020 ===
 +=== Jan. 2020 ===
 === Dec. 2019 === === Dec. 2019 ===
 === Nov. 2019 === === Nov. 2019 ===
Line 6: Line 12:
   * 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)