events
2024.01.17 10:48

# [10-10 Special Lectures in Logic]

Views 171 Votes 0 Comment 0
Speaker: Prof. George Metcalfe (Director, Mathematical Institute, University of Bern)

Time: Jan 23 & Jan 25, 2024 04:00 PM (Seoul)

Place: Zoom (online only) Meeting ID: 976 2795 1662/Passcode: 489146  줌링크

- 1/23(화) 16:00~18:00(QnA포함)
Title: Ordered Algebras and Logic
Abstract: Ordered algebras such as Boolean algebras, Heyting algebras, lattice-ordered groups, and MV-algebras have long played a crucial role in logic, although perhaps only in recent years has the significance of the relationship between the two fields been fully recognized and exploited. In the first part of this talk, I will briefly trace the distinct historical roots of ordered algebras and logic, culminating with the theory of algebraizable logics, that demonstrates the complementary nature of the two fields. In the second part, I will explain and illustrate the usefulness of this theory for both logic and algebra in the setting of substructural logics and residuated lattices
- 1/25(목) 16:00~18:00(QnA포함)
Title: Bridges between Algebra and Logic
Abstract: Bridges between algebra and logic allow the methods and results of one field to be imported to the other and have been used with great success to establish logical properties such as decidability, interpolation, and admissibility of rules, as well as algebraic properties such as amalgamation, coherence, and generation by subclasses. In the first part of this talk, I will explain how to build these bridges using a correspondence between equational consequence in a class of algebras and congruences on the free algebras of the class. In the second part, I will describe bridges relating interpolation and amalgamation properties, and their applications in the setting of substructural logics and residuatedlattices.

1. ### [SNU10-10] 2024년 제2회 가우스석학강연(연사: 백진호 교수)

안녕하세요.    서울대학교 10-10프로젝트에서 백진호 교수님(University of Michigan)을 모시고 가우스 석학강연을 준비하였습니다.  관심 있는 모든 분들의 많은 참여바랍니다. 감사합니다.   *일시: 2024년 5월 13일(월) 16:00~17:30   *장소: 서울대학교 ...
2. ### Hyeong-Ohk Fest on Nonlinear PDEs, Collective Dynamics and Finance (In honor of Prof. Hyeong-Ohk Bae’s 60th Birthday)

Hyeong-Ohk Fest on Nonlinear PDEs, Collective Dynamics and Finance (In honor of Prof. Hyeong-Ohk Bae’s 60th Birthday) 1. Period: June 6th (Thursday) – June 8th (Saturday), 2024 2. Venue: Sangsan Mathematical Science Building (12...
3. ### [SNU10-10] 2024년 제2회 가우스초청강연(연사: Carlos Sing-Long)

안녕하세요. 서울대학교 10-10프로젝트에서 Carlos sing long 교수님을 모시고 특별초청강연을 준비하였습니다.  관심 있는 모든 분들의 많은 참여바랍니다. 감사합니다.   □  일시: 24년 4월 22일(월) 15:30~16:30 □  장소: 서울대학교 상산수리관 대강당 □  ...
4. ### 2024년 제 1회 10-10가우스석학강연

일시: 4월 12일 16:00~17:30(QnA포함)  장소: 상산수리관 대강당  연사: Jan Philip Solovej(코펜하겐 대학교) - 유럽 수학회 회장 (2023년~2026년) - 현재 코펜하겐 대학교 QMath 그룹 리더 - 해석학을 기반으로하는 수리물리학 분야의 석학 - https://en.w...
5. ### Eleventh Bielefeld-SNU Joint Workshop in Mathematics

April 8 to 10, 2024 Seoul National University
6. ### [10-10특별강연] AI시대의 바둑(정연우 프로기사)

안녕하세요.   수리과학부 10-10프로젝트에서 "AI시대의 바둑"이라는 주제로 정연우 프로기사의 특별강연을 준비하였습니다.   관심 있는 모든 분들의 많은 참여바랍니다.   - 일시: 2024년 3월 18일(월) 16:30~18:00(QnA포함) - 장소: 상산수리과학관(129동) ...
7. ### Shih-Hsien Fest on Hyperbolic Conservation Laws and Kinetic Theory

Shih-Hsien Fest on Hyperbolic Conservation Laws and Kinetic Theory (A Conference in Honor of Shih-Hsien Yu's 60th Birthday) April 4-5, 2024 SANGSAN Mathematical Science Building, 129-101, Seoul National University
8. No Image

### [SNU10-10수리] 3월 6일 세미나 안내(권가진 교수)

-일시: 24년 3월 6일(수) 11:00~12:00 -장소: 129동 406호 -연사: 권가진(융합과학기술대학원) -강연정보:   강연제목: 교육 분야 연구를 위한 (AI) 기술 적용   초록: 최근 AI 기술을 적용한 재미있는 연구들이 많이 소개되고 있습니다. 이러한 연구가 우리 ...
9. No Image

### [10-10 Special Lectures in Logic]

- Speaker: Prof. George Metcalfe (Director, Mathematical Institute, University of Bern)   - Time: Jan 23 & Jan 25, 2024 04:00 PM (Seoul)   - Place: Zoom (online only) Meeting ID: 976 2795 1662/Passcode: 489146  줌링크   - 1/23(화) 16:00~...
10. ### Intensive Lectures on Low-dimensional Topology

Intensive Lectures on Low-dimensional Topology January 18 (Thr.) ~ 20 (Sat.), 2024 Room 220 Building 27, Seoul National University
11. ### Collective Dynamics Days

Collective Dynamics Days January, 10th, 12th 2024 Department of Mathematical Sciences — Place: 27-220 Seoul National University Organizer: Seung Yeal Ha (syha@snu.ac.kr) Collective Dynamics Days(Jan2024).pdf
12. ### 제3회 10-10 가우스석학강연(신석우 교수)

안녕하세요. 서울대학교 수리과학부 10-10프로젝트 사업단에서는 University of California, Berkeley의 신석우 교수님을 모시고 10-10가우스석학강연을 개최합니다. 여러 학생들과 대중들이 수학에 대하여 토론할 수 있는 지식 공유의 장으로  여러분의 많은 ...
13. ### [9월 학술행사]Distinguished Lecture on NIST PQC Standards

안녕하세요.   서울대학교 수리과학부 10-10 프로젝트, 수학기반산업데이터 해석연구센터에서 양자내성암호의 세계적인 석학 Damien Stehle 교수님을 초빙하여 강연을 준비했습니다.   Damien Stehle 교수님은 2022년 7월 미국 NIST가 선정한 공개키 암호알고...
14. ### HYKE-Hwarang Day

HYKE-Hwarang Day August 30th (Wednesday) 2023 Place: 27-220 Seoul National University
15. ### 10-10 Summer School on Mathematics of Deep Learning and AI

제목: 10-10 Summer School on Mathematics of Deep Learning and AI 일시: 23. 8. 7.(월)~8.8(화) 장소: 서울대학교 자연대대형강의동(28동) 10-1호 등록 홈페이지: https://sites.google.com/view/summerschooldl/%ED%99%88
16. ### [가우스 석학 단기 강좌] Infinitely wide neural networks (연사 양홍석(KAIST))

제목: Infinitely wide neural networks 연사: 양홍석(KAIST) 일시: 2/3 (금), 2/8 (수), 2/10 (금), 15:00PM - 17:00PM 장소: ﻿Zoom 강의실 https://snu-ac-kr.zoom.us/j/99324881376?pwd=NXR2MGZPWGVwbEM4TXgzOGFUb1VRQT09
17. ### [가우스 석학 단기 강좌] Introduction to random graphs, and thresholds (연사 박진영(NYU))

제목: Introduction to random graphs, and thresholds 연사: 박진영(NYU) 일시: 2023.02.07(화), 09(목), 10(금), 10:00~12:00 장소: ﻿Zoom 강의실 https://snu-ac-kr.zoom.us/j/99324881376?pwd=NXR2MGZPWGVwbEM4TXgzOGFUb1VRQT09
18. ### 2022 허식교수 기념 심포지엄

2022 허식 교수 기념 심포지엄 일시: 2022년 11월 15일 (화), 13:00~ 장소: 서울대학교 상산수리과학관(129동) 강당(101호) / Zoom https://snu-ac-kr.zoom.us/j/2473239867 시간 내용 13:00-13:30 학생 강연 1 13:30-13:40 Coffee Break 13:40-14:10 학생 강...
19. ### 1st Seoul-London Workshop on Mathematical Finance

1st Seoul-London Workshop on Mathematical Finance 한국과 영국의 금융수학 연구 교류를 위한 "1st Seoul-London Workshop on Mathematical Finance" 를 개최합니다. 많은 관심과 참여부탁드립니다. ■ 일시: 2022년 9월 17일 (토), 18일 (일) 오전 9시 30분...