School of Mathematics
Working Group on Algebraic Number Theory
Date & Time:
Thu, 04/18/2013 - 14:00 - 16:00
Location:
S-101 terms:
Working Group on Univalent Foundations
Date & Time:
Wed, 04/24/2013 - 13:30 - 15:00
Location:
S-101 terms:
Working Group on Univalent Foundations
Date & Time:
Fri, 04/26/2013 - 11:00 - 12:30
Location:
S-101 terms:
Working Group on Univalent Foundations
Date & Time:
Tue, 04/23/2013 - 13:30 - 15:00
Location:
S-101 terms:
Working Group on Univalent Foundations
Date & Time:
Fri, 04/12/2013 - 16:00 - 17:30
Location:
S-101 terms:
Univalent Foundations Final Seminar
Homotopy Theory in Type Theory
``The Homotopy Group'' ( (1) Guillaume Brunerie, (2) Dan Licata, (3) Peter Lumsdaine)
(1) School of Math., IAS, (2) Carnegie Mellon Univ.; Member, School of Math., (3) Dalhousie Univ.; Member, School of Math.
Date & Time:
Thu, 04/11/2013 - 11:00 - 12:30
Location:
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", homotopical concepts such as points, paths, and homotopies are basic notions.
Note:
This talk is intended for a more general mathematical audience. terms:
Joint IAS/PU Number Theory Seminar
Most Hyperelliptic Curves Over Q Have No Rational Points
Manjul Bhargava
Princeton University
Date & Time:
Thu, 04/18/2013 - 16:30 - 17:30
Location:
S-101 terms:
