Differences

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

Link to this comparison view

Next revision
Previous revision
talks [2019-12-20] – created Martin Zieglertalks [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 ===
- * Seokbin Lee: "//Grassmannian as Continuous Abstract Data Type with Computable Semantics//", [[https://kaist.theoryofcomputation.asia/waac2019#schedule|WAAC 2019]] (Oct.4, KAIST/Daejeon) +=== Nov. 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)+=== 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) 
 +  * 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 === 
 +  * 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)