학술행사
Building the hierarchy of graph classes
등록일자 : 2022-02-07- 발표자 엄상일 교수(IBS 이산수학그룹/KAIST 수리과학과)
- 기간 2022-02-17 ~ 2022-02-17
- 장소 광교 산업수학혁신센터 세미나실
- 주최 산업수학혁신센터
* 참가신청 필수: https://icim.nims.re.kr/post/event/905 (산업수학혁신센터>알림/상담>행사)
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명 선착순, 이후 참가신청자는 유튜브 주소 안내 예정)
* 참가신청 필수: https://icim.nims.re.kr/post/event/905 (산업수학혁신센터>알림/상담>행사)
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명 선착순, 이후 참가신청자는 유튜브 주소 안내 예정)
