Sewon's Wiki

User Tools

Site Tools

Trace:
sewon_park

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
sewon_park [2023/12/08 11:13] – [Programming Projects] sewonsewon_park [2024/03/12 11:17] – [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//
Line 252: Line 256:
  
 ===== Other Activities ===== ===== Other Activities =====
 +  * **The third Korea Logic Day 2024** [[https://korealogicday.org/2024 | KLD2024]]
 +    * //Organizing Committee member//
 +    * 12 January 2024, online
   * ** 2023 Continuity, Computability, Constructivity - From Logic to Algorithms** [[https://www.i.h.kyoto-u.ac.jp/ccc2023/ | CCC2023]]   * ** 2023 Continuity, Computability, Constructivity - From Logic to Algorithms** [[https://www.i.h.kyoto-u.ac.jp/ccc2023/ | CCC2023]]
     * //Programme Committee and Organizing Committee member//     * //Programme Committee and Organizing Committee member//
sewon_park.txt · Last modified: 2024/04/24 12:41 by sewon