본문 바로가기 주 메뉴 바로가기
콜로퀴움

산업수학 콜로퀴움: Building the hierarchy of graph classes

2022-02-17|박세영
2022-02-07 14:11 ~ 2022-02-17 14:00
#### 1. 일시 : 2022년 2월 17일(목), 14:00-16:00 #### 2. 장소 : 광교 테크노밸리 산업수학혁신센터 세미나실 #### 3. 발표자 : 엄상일 교수(IBS 이산수학그룹/KAIST 수리과학과) #### 4. 주요내용 : Building the hierarchy of graph classes We will give a survey on the classification of graph classes in terms of the transductions in certain logic such as monadic second-order logic and first-order logic and discuss how a recent theorem of the speaker with O-joung Kwon, Rose McCarty, and Paul Wollan and an old theorem of the speaker with Bruno Courcelle solve cases of the problem of characterizing graph classes in terms of modulo-2 counting monadic second-order logic of the first kind. #### 5. 유튜브 실시간 스트리밍 : 현장 참석이 어려운 분들을 위해 온라인으로 실시간 방송할 예정입니다. 주소는 당일 이 안내글에 업데이트 하겠습니다. *코로나19 방역 관련, 방역수칙 준수를 위해 참가가 확정된 분들에게 메일로 개별안내를 발송할 예정입니디.(적정인원 20명 선착순, 이후 참가신청자는 유튜브 주소 안내 예정)