A type-theoretical interpretation of intuitionistic fixed point logic
Ulrich Berger, Sewon Park, Holger Thies, Hideki Tsuiki
2022 Global KMS International Conference
KMS 2022
Oct 18 – 21, 2022, Seoul, Korea (online talk)
Some steps toward program extraction in a type-theoretical interpretation of IFP
Ulrich Berger, Sewon Park, Holger Thies, Hideki Tsuiki
Continuity, Computability, Constructivity - From Logic to Algorithms
CCC 2022
Sep 19 – 23, 2022, Padova, Italy
Nondeterministic limits and certified exact real computation
Michal Konečný, Sewon Park, Holger Thies
Nineteenth International Conference on Computability and Complexity in Analysis
CCA 2022
May 23 – 26, 2022, Glenside (PA), USA (online talk)
An axiomatization of real numbers in constructive type theory and its application
Michal Konečný, Sewon Park, Holger Thies
2022 China-South Korea Non-Classical Logics and Related Algebra Systems Academic Seminar
Feb 12 – 13, 2022, Online
Lazy Data Types
Jihoon Hyun, Sewon Park, Martin Ziegler
The 14th Annual Meeting of the Asian Association for Algorithms and Computation
AAAC 2021
Oct 22 – 24, 2021, Tainan, Taiwan (online talk)
Nondeterminism in constructive metric completeness
Michal Konečný, Sewon Park, Holger Thies
2021 KMS Annual Meeting Special Session: Mathematical Logic and Its Applications
KMS Fall 2021
Oct 20 – 22, 2021, Online
Intuitionistic Logic, Type Theory, and Computer Science
Topological Aspects on Nondetermistic Computation
Clerical: an Imperative Language for Verified Real-number Computation
Andrej Bauer, Sewon Park, Alex Simpson
Seventeenth International Conference on Computability and Complexity in Analysis
CCA 2020
Sep 09 – 11, 2020, Online
Multivalued functions in a dependent type theory
Andrej Bauer, Philipp G., Sewon Park, Egbert Rijke
KMS Spring 2020 - Special Session: Mathematical Logic and Its Applications
KMS Spring 2020
Jul 03 – 03, 2020, Online
Axiomatic Reals in Type Theory for Program Extraction
Interval Gaussian Algorithm for Singular Interval Matrices
Sewon Park
Fall Workshop on Algorithms and Computation
FWAC 2018
Nov 2018, Seoul, Korea
Interval Gaussian Algorithm for Singular Interval Matrices
Sewon Park
The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations
SCAN 2018
Sep 2018, Tokyo, Japan
Reliable Diagonalization of Degenerate Matrices
Implementation and Empirical Evaluation of two Algorithms for Computing Characteristic Polynomials' Coefficients in Exact Real Arithmetic
Sewon Park
Fall Workshop on Algorithms and Computation
FWAC 2016
Nov 2016, Seoul, Korea
Verification in Real Computation
Norbert Th., Sewon Park, Norbert Preining, Martin Ziegler
The 19th Japan-Korea Joint Workshop on Algorithms and Computation
WAAC 2016
Aug 2016, Hakodate, Japan
On Formal Verification in Imperative Multivalued Programming over Continuous Data Types