개교 40주년 기념하여 KAIST지정석좌교수와 이원조교수 학술심포지엄을
아래와 같이 개최하오니 교수님과 학생들의 많은 참석 당부드립니다.
1. 일시 : 2011.5.19(목), 오후2시
2. 장소 : 드림홀(정문술빌딩 1층)
3. 행사 세부일정
14:00~14:10 KAIST지정석좌교수 임명장 수여식
14:10~14:20 총장님 축사
14:20~15:10 김은준 KAIST지정석좌교수 학술심포지엄
(발표주제 : GIT1과 주의력결핍 과잉행동 장애)
15:10~15:20 휴식
15:20~16:10 엄상일 이원조교수 학술심포지엄
(발표주제 : 단항이차논리식의 결정가능성에 관한 Seese의 추측)
4. 발표주제 개요
– 김은준 교수 : GIT1과 주의력결핍 과잉행동 장애
주의력결핍 및 과잉행동 증후군(attention deficit/hyperactivity disorder 또는 ADHD)은 전 세계 아동의 약 5-10%가 증상을 보이고 있는 심각한 뇌발달 장애이다. 그러나 ADHD의 원인에 대해서는 별로 알려진 바가 없다. 본 발표는 GIT1이라는 뇌신경 유전자가 ADHD와 연관이 있다는 것과 관련 발병 기전을 소개할 것이다.
– 엄상일 교수 : 단항이차논리식의 결정가능성에 관한 Seese의 추측
수학의 미해결 문제를 논리식으로 잘 쓴다음, 컴퓨터에 입력하였을때 적절한 알고리듬이 그것이 참인지 알려줄 수 있다면 매우 편리할 것입니다. 어떤 그래프들의 집합에 대하여, 입력으로 주어질 단항 이차 논리식을 그 집합 내의 모든 그래프가 만족시키는지 판별하는 알고리듬이 존재할 필요충분조건이 무엇일까?
Detlef Seese는 1991년 논문에서 이 질문의 대답이 ‘그 그래프들의 "clique-width" 값의 최대값이 존재하는 것’으로 추측하였습니다. 본 강연에서는 이 Seese의 추측에 관하여 이야기하고자 합니다.
5. 연락처 : 교무팀(T.2151)
교무처장 이균민 드림.
Menu
