User Tools

Site Tools


sewon_park

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
sewon_park [2024/01/05 12:37] – [Other Activities] sewonsewon_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, Complexity and Randomness [[https://sites.google.com/view/ccr2024/home|CCR2024]] 
 +    * 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