한국논리학회 회원 여러분께,

안녕하세요. 한국논리학회 2026년 여름 정기학술대회가 아래와 같이 개최됩니다.

이번 학술대회는 “AI와 논리: 수학에서의 증명 자동화”를 주제로 고등과학원의 〈과학을 변화시키는 AI〉 연구단과 공동으로 주최하며, 고등과학원의 수학자 김상현 교수님의 기조강연과 아주대학교의 수학철학자 이찬우 교수님의 주제강연을 포함해 총 네 편의 발표가 있을 예정입니다. 아래 세부 내용 및 포스터를 참고해 주시기 바랍니다.

한국논리학회 드림