Tue
21
Apr
SCGP: Program Mini Course: Xin Sun
  •   10:00am - 12:45pm
  • in SCGP 313

Speaker:   Xin Sun
Title:   The Modular Tensor Category/TQFT Aspect of Liouville theory: Connection to Quantum Group and Volume Conjecture.
Abstract:   TBA

Wed
22
Apr
SCGP: Program Mini Course: Nicolas Curien
  •   11:15am - 12:45pm
  • in SCGP 313

Speaker:   Nicolas Curien
Title:   On Scaling Limits Part 2
Abstract:   TBA

Wed
22
Apr
SCGP: Intro to Lean: Fedor Popov
  •   1:00pm - 2:00pm
  • in SCGP 313

Title:   Intro to Lean

Speaker:   Fedor Popov, SCGP

Abstract:   This talk is a short interactive introduction to the Lean proof assistant. Firstly, I will show how Lean can be used both as a calculator and as a functional programming language, with examples of simple definitions and recursive programs. I will then explain how Lean can formalize and prove theorems, starting from basic logical and arithmetic statements and moving toward examples inspired by mathematical analysis. The aim is to show how Lean provides a unified framework for the complete formalization of mathematical theorems, helping to make the process of proving them more precise and systematic.

Thu
23
Apr
SCGP: Program Mini Course: Nicolas Curien
  •   11:15am - 12:45pm
  • in SCGP 313

Speaker:   Nicolas Curien
Title:   On Scaling Limits Part 3
Abstract:   TBA

Thu
23
Apr
SCGP: Program Mini Course: Colin Guillarmou
  •   2:00pm - 3:30pm
  • in SCGP 313

Speaker:   Colin Guillarmou
Title:   On the Construction of Conformal Blocks on Surfaces and Modular Functor Associated to Liouville CFT Part 1
Abstract:   TBA

Fri
24
Apr
SCGP: Program Talks: Hao Geng
  •   11:15am - 12:45pm
  • in SCGP 313

Speaker:   Hao Geng
Title:   TBA

Fri
24
Apr
SCGP: Program Mini Course: Colin Guillarmou
  •   2:00pm - 3:30pm
  • in SCGP 313

Speaker:   Colin Guillarmou
Title:   On the Construction of Conformal Blocks on Surfaces and Modular Functor Associated to Liouville CFT Part 2
Abstract:   TBA