- (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 - 2020.12)
-
(2016.12.16.) 대한수리논리학회 창립 10주년 기념 학회
- 장소: 연세대학교 과학관
- 초청 강사: Anand Pillay
-
(2017.07.10-14.) The 15th Asian Logic Conference
- 장소: NIMS, 대전
- 후원: Association for Symbolic Logic(ASL), NIMS
- (2021.01.) 4대 회장 취임: Martin Ziegler (KAIST, 2021.01 - 2023.12)
-
(2021.01.14.) 제1회 한국 논리학의 날
- 장소: Zoom online meeting
- 본발표자: 정인교 (고려대학교), 김병한 (연세대학교), Svetlana Selivanova (KAIST)
-
(2023.08.28-30.) Model Theory Conference in Seoul
- 장소: 연세대학교 과학관
- 후원: 연세대학교, 한국연구재단, Association for Symbolic Logic, Brain Korea 21, KIAS
- (2024.01.) 5대 회장 취임: 이정욱 (국립창원대, 2024.01 - )