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
Next revisionBoth sides next revision
talks [2019-12-20] – Martin Zieglertalks [2020-10-08] – Martin Ziegler
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]]...
 +
 +=== 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)
 +