Loading [MathJax]/extensions/TeX/boldsymbol.js

Schedule for: 21w5156 - New Frontiers in Proofs and Computation (Online)

Beginning on Sunday, September 12 and ending Friday September 17, 2021

All times in Hangzhou, China time, CST (UTC+8).

Monday, September 13
15:15 - 15:30 Introduction and Welcome(IASM staff) (IASM Meeting Room)
15:30 - 16:50 Hong-Kun Xu: Recent Progresses on Halpern’s Iteration Method and Its Applications in Optimization (IASM Meeting Room)
16:50 - 17:50 Thomas Powell: A proof theoretic study of contractive mappings (IASM Meeting Room)
17:50 - 17:55 Group photo(Online) (IASM Meeting Room)
20:00 - 21:10 Chong Chi Tat: First-order strength of finite colourings of trees (IASM Meeting Room)
21:10 - 22:10 George Barmpalias: Pathwise-random trees and models of second-order arithmetic (IASM Meeting Room)
Tuesday, September 14
15:30 - 16:30 Fernando Ferreira: Accumulation into finite sets (Online)
16:30 - 17:30 Sam Sanders: On the computability theory and reverse mathematics of the uncountable (Online)
20:00 - 21:00 Anton Freund: Resemblance and Collapsing (Online)
21:00 - 22:00 Juan Aguilera: The \Pi^1_2 Soundness Spectrum (Online)
22:00 - 23:00 Fedor Pakhomov: Dilator analysis of ACA_0 (Online)
Wednesday, September 15
15:30 - 16:30 Chuangjie Xu: Connecting Constructive Notions of Ordinals in Homotopy Type Theory (Online)
16:30 - 17:40 Zhaohui Luo: Modern Type Theories and Their Applications in Formal Semantics (Online)
20:00 - 21:00 Adriana Nicolae: A discrete lion and man game: geometric and quantitative aspects (Online)
21:00 - 22:00 Pedro Pinto: Quantitative results on variants of the proximal point algorithm (Online)
22:00 - 23:00 Makoto Fujiwara: Conservation theorems on semi-classical arithmetic (Online)
Thursday, September 16
15:30 - 16:40 Fenrong Liu: Social Epistemic Logics: A Quick Review (Online)
16:40 - 17:40 Zhe Lin: Proof theory and Proof search of Classical and Intuitionistic tense logic (Online)
20:00 - 21:10 Shaoshi Chen: Wilf-Zeilberger Theory and Its Applications (Online)
21:10 - 22:10 Junhua Yu: Diagonal/circular extensions of a sequent calculus (Online)
Friday, September 17
15:30 - 16:30 Andrei Sipos: On abstract proximal point algorithms and related concepts (Online)
16:30 - 17:30 Nicholas Pischke: Quantitative results for differences of maximal monotone operators (Online)
20:00 - 21:00 Helmut Schwichtenberg: Proofs and computation with infinite data (Online)
21:00 - 22:20 Juliet Floyd: Wang’s Philosophical Contributions (Online)