한국논리학회 회원 여러분께,
안녕하세요. 한국논리학회 2026년 여름 정기학술대회를 아래와 같이 개최할 예정입니다.
일시: 2026년 8월 18일(화요일), 오후 1-6시
장소: 서울고등과학원
이번 학술대회는 "AI와 논리: 수학에서의 증명 자동화"를 주제로 하여 고등과학원 <과학을 변화시키는 AI> 연구단과 공동으로 주최할 예정입니다. 고등과학원의 수학자 김상현 교수님의 기조강연과 아주대학교의 수학철학자 이찬우 교수님의 주제강연이 예정되어 있습니다.
이에 더하여 자유 주제로 발표하실 두 분을 더 모시고자 합니다. 발표를 희망하시는 분은 논문 제목, 초록, 발표자 정보를 포함하여 7월 6일 월요일까지 한국논리학회 우인진 간사(kalogic2017@gmail.com)에게 이메일을 보내주시기 바랍니다.
회원분들의 많은 참여 부탁드립니다. 감사합니다.
한국논리학회 드림