계정: 로그인
<< 글꼴 크기 >> 단락 너비
세미나

차례

  1. 2017년
    1. 한국정보과학회 프로그래밍언어연구회 겨울학교 (SIGPL Winter School 2017)
    2. Kim-Independence and NSOP1 Theories
  2. 2016년 2학기
    1. Verification in Real Computation
    2. Contemporary Model Theory
  3. 2016년 1학기
    1. Logical Foundations of Efficient Validated Numerics
  4. 2015년 2학기
    1. Frege's influence on modern practice of mathematics and logic
  5. 2015년 1학기
    1. Point-free foundation of Mathematics
    2. Mechanization of Proof: From 4-Color Theorem to Compiler Verification
  6. 2014년 2학기
    1. 컴퓨터과학자가 파악한 튜링의 원조논문 (Readings of Turing's 1936 Paper)
    2. Curry-Howard Isomorphism
  7. 2013년 2학기
    1. Type-amalgamation properties and polygroupoids in stable theories
  8. 2013년 1학기
    1. Elementary Patterns of Resemblance
    2. 모델론에서의 호몰로지군론과 1-껍질을 갖는 2-사슬들의 분류
    3. 역수학과 증명보조기 (Reverse mathematics and proof assistants)
  9. 2012년 2학기
    1. An Example of Logic in Computer Science : Certified Programming with Dependent Types (Part 2)
    2. An Example of Logic in Computer Science : Certified Programming with Dependent Types
  10. 2012년 1학기
    1. 증명과 계산
  11. 2010년 2학기
    1. 수학혁명과 논리
  12. 2009년 2학기
    1. Forcing, and the Independence of the Continuum Hypothesis: A talk in memory of Cohen
    2. Formal proof - Theory and practice
    3. Decidability and Elimination of Quantifiers
  13. 2009년 1학기
    1. Fast growing functions and logic
  14. 2008년 2학기
    1. Leibniz's Logic
    2. 귀납적 정의의 집합론적 근거 (Set-theoretic basis of Inductive definitions)
  15. 2007년 2학기
    1. Topology and Computation
    2. Ultraproduct and Compactness
    3. Introduction to the Model Theory of Modules: Positive-primitive formulae
    4. 증명론과 컴퓨터수학 (Proof theory and computer mathematics)
KAML에서 주관하는 워크샵, 세미나, 또는 각 대학(원)에 개설된 수리논리학 관련 세미나들의 목록입니다. 목록에 추가하고자 하는 행사가 있으면 운영자에게 연락 바랍니다.

2017년

한국정보과학회 프로그래밍언어연구회 겨울학교 (SIGPL Winter School 2017)

Kim-Independence and NSOP1 Theories

2016년 2학기

Verification in Real Computation

Contemporary Model Theory

2016년 1학기

Logical Foundations of Efficient Validated Numerics

2015년 2학기

Frege's influence on modern practice of mathematics and logic

2015년 1학기

Point-free foundation of Mathematics

Mechanization of Proof: From 4-Color Theorem to Compiler Verification

2014년 2학기

컴퓨터과학자가 파악한 튜링의 원조논문 (Readings of Turing's 1936 Paper)

Curry-Howard Isomorphism

2013년 2학기

Type-amalgamation properties and polygroupoids in stable theories

2013년 1학기

Elementary Patterns of Resemblance

모델론에서의 호몰로지군론과 1-껍질을 갖는 2-사슬들의 분류

역수학과 증명보조기 (Reverse mathematics and proof assistants)

2012년 2학기

An Example of Logic in Computer Science : Certified Programming with Dependent Types (Part 2)

An Example of Logic in Computer Science : Certified Programming with Dependent Types

2012년 1학기

증명과 계산

2010년 2학기

수학혁명과 논리

2009년 2학기

Forcing, and the Independence of the Continuum Hypothesis: A talk in memory of Cohen

Formal proof - Theory and practice

In this talk an overview of the current state in formal proof will be given. The main contents are based on the four papers of the Notices of the American Mathematical Society published in November 2008. (http://www.ams.org/notices/200811/index.html)

Decidability and Elimination of Quantifiers

2009년 1학기

Fast growing functions and logic

2008년 2학기

Leibniz's Logic

귀납적 정의의 집합론적 근거 (Set-theoretic basis of Inductive definitions)

2007년 2학기

Topology and Computation

Ultraproduct and Compactness

Introduction to the Model Theory of Modules: Positive-primitive formulae

증명론과 컴퓨터수학 (Proof theory and computer mathematics)