On October 9, 2023, the 17th Asian Logic Conference was held in Tianjin, hosted by Nankai University. The opening ceremony was attended by Yulu Chen, President of Nankai University, Shuangying Lu, a first-level inspector of the Tianjin Association for Science and Technology, and Fuzhou Gong, Secretary of the Party Committee and Vice Chairman and Secretary-General of the China Mathematical Society, and a researcher at the Academy of Mathematics and Systems Science of the Chinese Academy of Sciences. Nearly 200 experts and scholars from more than 20 countries and regions participated in the conference.
The 17th Asian Logic Conference was held in Tianjin on October 9, 2023, hosted by Nankai University. The conference featured the following topics: (1) recursion theory, (2) set theory, (3) model theory, and (4) philosophical logic. Experts from the field of mathematical logic from both China and abroad were invited to give keynote speeches on the above topics.
The conference also invited Professor Feng Qi to give a popular science report for the China Mathematical Society and the Academic Lecture of Jiang Lifu.
With the consent of the speakers, the video recordings of the reports were uploaded to the “Nankai Logic” channel on Bilibili, and everyone is welcome to watch.
【Popular Science Report for the China Mathematical Society and the Academic Lecture of Jiang Lifu. - Qi Feng】https://www.bilibili.com/video/BV1EN4y1S74T/
【The 17th Asian Logic Conference (ALC2023) Plenry talk-William Johnson】 https://www.bilibili.com/video/BV1Au4y1P7x9/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Plenry talk-Chris Lambie-Hanson】 https://www.bilibili.com/video/BV1394y1H74s/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Plenry talk-Alexander Melnikov】 https://www.bilibili.com/video/BV1qN411u7fe/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Plenry talk-Rizos Sklinos】 https://www.bilibili.com/video/BV1Hg4y1X7yW/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Plenry talk-Bakh Khoussainov】 https://www.bilibili.com/video/BV1sC4y1j7H8/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Plenry talk-Slawomir Solecki】 https://www.bilibili.com/video/BV1QC4y1j7V7/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Plenry talk-Yue Yang】 https://www.bilibili.com/video/BV17M411Z77m/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Plenry talk-Jinhe Ye】 https://www.bilibili.com/video/BV1Gz4y1A7CB/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Special Session talk-Shawn Standefer】 https://www.bilibili.com/video/BV1HG411D7qp/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Special Session talk-David Schrittesser】 https://www.bilibili.com/video/BV1bG411D7HS/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Special Session talk-Joonhee Kim】 https://www.bilibili.com/video/BV1fu4y1A7RS/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Special Session talk-Lu Liu】 https://www.bilibili.com/video/BV1Ng4y1X7yC/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643【The 17th Asian Logic Conference (ALC2023) Special Session talk-Ashutosh Kumar】 https://www.bilibili.com/video/BV1yG411D719/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Special Session talk-Guozhen Shen】 https://www.bilibili.com/video/BV1Yv411c75P/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Special Session talk-Ruizhi Yang】 https://www.bilibili.com/video/BV1xH4y1q7Jj/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Special Session talk-Haosui Duanmu】 https://www.bilibili.com/video/BV1sH4y1q7gm/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643【The 17th Asian Logic Conference (ALC2023) Special Session talk-Chieu-Minh Tran】 https://www.bilibili.com/video/BV1qC4y1j7DU/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Special Session talk-George Barmpalias】 https://www.bilibili.com/video/BV1eC4y1m7G1/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Special Session talk-Jun Le Goh】 https://www.bilibili.com/video/BV1qC4y1j7p5/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Tatsuya Goto】 https://www.bilibili.com/video/BV1Ru4y1A7p9/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Huayu Guo】 https://www.bilibili.com/video/BV1aC4y1j7Z3/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Bruno Bentzen】 https://www.bilibili.com/video/BV1dw411N7Zw/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Hyoyoon Lee】 https://www.bilibili.com/video/BV1Lv411c7KA/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Daisuke Ikegami】 https://www.bilibili.com/video/BV1fw411H7st/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Toshimasa tanno】 https://www.bilibili.com/video/BV1634y1c7oH/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Yusuki Hayashi】 https://www.bilibili.com/video/BV1kN411u7B9/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Manat Mustafa】 https://www.bilibili.com/video/BV1fu4y1A7gW/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Zihui Liang】 https://www.bilibili.com/video/BV1oj411E76s/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Ramaz Liparteliani】 https://www.bilibili.com/video/BV12N411u7kU/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Satoshi Nakata】 https://www.bilibili.com/video/BV1Cw411N7f6/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643
【The 17th Asian Logic Conference (ALC2023) Contributied talk-Yamazoe Takashi】 https://www.bilibili.com/video/BV1WM411Z7zT/?share_source=copy_web&vd_source=2781843922ddc372ac89fe9157322643