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] – [Links] sewonsewon_park [2024/01/05 12:37] – [Other Activities] sewon
Line 252: Line 252:
  
 ===== 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//
Line 268: Line 271:
     * July 24-27, 2017, Daejeon, Korea       * July 24-27, 2017, Daejeon, Korea  
  
-===== Programming Projects =====+===== Software =====
   * [[https://github.com/holgerthies/coq-aern | cAERN]]    * [[https://github.com/holgerthies/coq-aern | cAERN]] 
   * [[https://github.com/realcomputation/iRRAMx | iRRAMx]]   * [[https://github.com/realcomputation/iRRAMx | iRRAMx]]
sewon_park.txt · Last modified: 2024/05/09 18:54 by sewon