Seminars: Others
Date
Time
Venue
Time
Venue
Speaker
Affiliation
Title of Talk
Affiliation
Title of Talk
08 Jul 2024
16:00
S17 #04-06 (SR1)
16:00
S17 #04-06 (SR1)
Panel Discussion: Various speakers
From academia to industry: Charting the journey from graduate studies to professional success
From academia to industry: Charting the journey from graduate studies to professional success
19 Apr 2024
10:00
S17 #04-06 (SR1)
10:00
S17 #04-06 (SR1)
Riccardo Brasca
Université Paris Cité
An introduction to the Lean proof assistant for mathematicians (III)
Université Paris Cité
An introduction to the Lean proof assistant for mathematicians (III)
17 Apr 2024
10:00
S17 #04-06 (SR1)
10:00
S17 #04-06 (SR1)
Riccardo Brasca
Université Paris Cité
An introduction to the Lean proof assistant for mathematicians – (II)
Université Paris Cité
An introduction to the Lean proof assistant for mathematicians – (II)
15 Apr 2024
10:00
S17 #04-06 (SR1)
10:00
S17 #04-06 (SR1)
Riccardo Brasca
Université Paris Cité
An introduction to the Lean proof assistant for mathematicians (I)
Université Paris Cité
An introduction to the Lean proof assistant for mathematicians (I)
06 Feb 2024
10:00
S17 #04-06 (SR1)
10:00
S17 #04-06 (SR1)
Ian Gleason
Universitat Bonn
Recent developments in p-adic geometry and the local Langlands correspondence
Universitat Bonn
Recent developments in p-adic geometry and the local Langlands correspondence
01 Feb 2024
15:00
S17 #04-06 (SR1)
15:00
S17 #04-06 (SR1)
Zhang Jiacheng
University of California, Berkeley
Topics on Stackelberg equilibrium and Mean Field Game
University of California, Berkeley
Topics on Stackelberg equilibrium and Mean Field Game
31 Jan 2024
15:00
S17 #04-05 (SR2)
15:00
S17 #04-05 (SR2)
Matteo Mucciconi
University of Warwick
Large Deviations for the height function of the deformed polynuclear growth
University of Warwick
Large Deviations for the height function of the deformed polynuclear growth
29 Jan 2024
10:00
S17 #04-06 (SR1)
10:00
S17 #04-06 (SR1)
22 Jan 2024
15:00
S17 #04-06 (SR1)
15:00
S17 #04-06 (SR1)