Differences

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

--- sewon_park [2024/04/04 18:02] – [Invited Talks] sewon
+++ sewon_park [2024/04/16 15:36] – [Sewon Park] sewon
@@ Line 1: / Line 1: @@
 ====== Sewon Park ======
-I am a postdoctoral researcher hosted by [[https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en | Prof. Atsushi Igarashi]] at Kyoto University. You may contact me by [[Sewon@sewonpark.com | Sewon@sewonpark.com]] or by [[sewon@fos.kuis.kyoto-u.ac.jp| sewon@fos.kuis.kyoto-u.ac.jp]].
+I am a postdoctoral researcher hosted by [[https://www.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en | Prof. Atsushi Igarashi]] at the [[https://www.fos.kuis.kyoto-u.ac.jp|Computer Software Group]], Kyoto University. You may contact me by [[Sewon@sewonpark.com | Sewon@sewonpark.com]] or by [[sewon@fos.kuis.kyoto-u.ac.jp| sewon@fos.kuis.kyoto-u.ac.jp]].
 <WRAP box round lo no-print >
@@ Line 124: / Line 124: @@
 ==== Invited Talks ====
-  * **Abstract data type for exact real numbers and verified computation** [[https://drive.google.com/drive/folders/1e0qjPx5PE1JwCBaBCZwI_xgPLIXP6YGD|Slides]]
+  * **Abstract data type for exact real numbers and verified computation** [[https://drive.google.com/file/d/1vxT4D7JlMQTsPX8zOGmyz8CdJNFM67Ds/view?usp=share_link|Slides]]
     * //Invited talk//
     * Sewon Park