KAML
주요 연보
  • (2006.04.15.) 괴델탄생 100주년 기념 학회
    • 주제: "왜 괴델인가?"
    • 장소: 연세대 과학관 B 102
  • (2006.12.11-14.) 괴델 탄생100 주년 기념 전시회
    • 장소: 연세대 학생회관 2층
  • (2006.12.11) 대한수리논리학회 창립
    • 초대회장: 박창균 (서경대, 2006.12. – 2008.12.)
  • (2007.07.09-13.) 2007 Summer School on Mathematical Logic
    • 주 강사: 정주희 (경북대)
    • 장소: 연세대 과학관 B102
  • (2008.07.22-24.) 수리논리 여름학교
    • 장소: 연세대 학술정보원 장기원 국제회의실
  • (2009.01.) 2대 회장 취임: 정주희 교수(경북대, 2009.01 – 2014.12)
  • (2009.06.18-22.) 2009 NIMS 수리논리 여름학교

    • 주제: 집합론, 다이아몬드를 찾아서
    • 주 강사: Ivo Herzog (Ohio State Univ.), Yasuo Yoshinobu (Nagoya Univ.).
    • 장소: 호텔 인터시티, 대전.
    • 후원: NIMS
  • (2009.10.31.) 수학과의 대화
    • 주제: 논리와 역사의 창으로 본 수학
    • 장소: 서울대 상산관
  • (2010.05.16-22.) Seoul Model Theory School/Conference

    • 장소: 연세대 학술정보관
  • (2011.05.09-11.) Logic School 2011
    • 장소: 연세대 수학과
    • 주 강사: Thomas Scanlon (Univ. of California, Berkeley), Lynn Scow (Univ. of Illinois, Chicago), 김병한 (연세대)
  • (2012.06.23-26.) 튜링탄생100주년 기념강연회 및 계산이론 여름학교

    • 장소: 인터시티 호텔, 대전(NIMS 지원)
    • 후원: NIMS
  • (2013.07.08-11.) 컴퓨터수학과 증명론 여름학교

    • 장소: NIMS, 대전
    • 초청 강사: Hajime Ishihara (JAIST, Japan)
    • 후원: NIMS
  • (2014.08.06-09.) Classification Theory Workshop

    • 장소: CAMP(NIMS), 대전
    • 후원: NIMS
  • (2015.01.) 3대 회장 취임: 김병한 (연세대, 2015.01 - )
  • (2016.12.16.) 대한수리논리학회 창립 10주년 기념 학회
    • 장소: 연세대학교 과학관
    • 초청 강사: Anand Pillay