Seminars Sorted by Series

Towards 2-Dimensional Geometric Langlands Duality

Truth and Beauty: Bombieri's Mathematical Gardens

Apr
12
2024

Truth and Beauty: Bombieri's Mathematical Gardens

On Effectivity for Integral Points on Some Curves of Genus 2
Umberto Zannier
2:40pm|Simonyi 101 and Remote Access

Most effective results for integral points on affine curves use the works of Baker or Bombieri on Diophantine approximation by S-units. Still, no completely general result is known already in genus 2. I will briefly present some recent work with...

Apr
12
2024

Truth and Beauty: Bombieri's Mathematical Gardens

G-functions ,Q-points, and Unlikely Intersections
Jonathan Pila
4:00pm|Simonyi 101 and Remote Access

I will describe a problem of unlikely intersections in a product of modular curves, tracing the problem itself and the tools for some results through the work of Enrico.

U.S. Income Tax Seminar for Members

Univalent Foundations Final Seminar

Apr
11
2013

Univalent Foundations Final Seminar

Homotopy Theory in Type Theory
``The Homotopy Group'' ( (1) Guillaume Brunerie, (2) Dan Licata, (3) Peter Lumsdaine)
11:00am|S-101

In this general survey talk, we will describe an approach to doing homotopy theory within Univalent Foundations. Whereas classical homotopy theory may be described as "analytic", our approach is synthetic in the sense that, in ``homotopy type theory...

Univalent Foundations Organizational Meeting

Univalent Foundations Seminar

Feb
07
2013

Univalent Foundations Seminar

Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?
Peter Aczel
11:00am|S-101