sewon_park
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
sewon_park [2024/01/05 12:37] – [Other Activities] sewon | sewon_park [2024/03/12 11:17] (current) – [Invited Talks] sewon | ||
---|---|---|---|
Line 125: | Line 125: | ||
==== Invited Talks ==== | ==== Invited Talks ==== | ||
+ | * **Abstract data type for exact real numbers and verified computation** | ||
+ | * //Invited talk// | ||
+ | * Sewon Park | ||
+ | * The 17th International Conference on Computability, | ||
+ | * March 11-15, 2024, Nagoya, Japan | ||
* **Verified computation over real numbers and other continuous objects** | * **Verified computation over real numbers and other continuous objects** | ||
* //Tutorial talk// | * //Tutorial talk// |
sewon_park.txt · Last modified: 2024/03/12 11:17 by sewon