|
|
Seminars for the week of April 4, 2011
Colloquium
Tuesday, 3:30, in Vincent Hall 16Professor Andre Joyal
of University of Quebec at Montreal
will speak on
"What is the Univalent Foundation of Mathematics by Voevodsky?" Abstract:Vladimir Voevodsky is proposing a new
foundation of mathematics based on Martin-Lof type theory augmented with a new
axiom inspired by the homotopy theoretic interpretation of type theory. The goal
is to incorporate directly into the foundation many features of homotopy theory and
higher category theory and to be able to use a computer-assisted formal system for
doing mathematics. I will describe the basic ideas of the Univalent Foundation project.
I will briefly describe the history of the homotopy interpretation of type theory and
the recent work. No knowledge of type theory is required.
Monday, 4 Apr 2011
Math Physics Seminar:
at 11:15 in VinH 570
-
Oscar Fernandez
will speak on "Variational integrators for classes of nonholonomic systems"
Junior Colloquium:
at 12:20 in VinH 570
-
... To be announced
Topology Seminar:
at 3:30 in VinH 364
-
... Will not meet this week
Joint Applied Math \& Dynamical Systems Seminar:
at 3:35 in VinH 570
-
Professor Andrea Bonito
from Texas A&M University
will speak on "Parametric adaptive continuous finite element method for biomembranes"
Student Seminar in Symplectic Geometry:
at 4:30 in VinH 203B
-
... Will not meet this week
Tuesday, 5 Apr 2011
IMA Postdoc Seminar:
at 11:15 in LindH 305
-
... Will not meet this week
Student Combinatorics Seminar:
at 1:25 in VinH 301
-
Alex Miller
will speak on "Title: to be announced"
Differential Geometry/Symplectic Topology:
at 1:30 in VinH 570
-
... Will not meet this week
Student MFM Seminar:
at 2:30 in VinH 570
-
... Will not meet this week
Colloquium:
at 3:30 in Vincent Hall 16
-
Professor Andre Joyal
from University of of Quebec at Montreal
will speak on "What is the Univalent Foundation of Mathematics by Voevodsky?"
Wednesday, 6 Apr 2011
Climate Change:
at 11:15 in VinH 570
-
... Will not meet this week
Student Seminar in Symplectic Geometry:
at 3:30 in VinH 570
-
... Will not meet this week
PDE Seminar:
at 3:35 in VinH 206
-
Professor Daniel Spirn
will speak on "Vortex liquids and the Ginzburg-Landau equations"
Arithmetic Applications of p-Adic Cohomology Seminar:
at 3:35 in VinH 570
-
... Will not meet this week
Applied Mathematics Seminar:
at 4:40 in VinH 570
-
... Will not meet this week
Thursday, 7 Apr 2011
Math Club Seminar:
at 12:10 in VinH 120
-
Randy Ewoldt
from IMA Postdoctoral Fellow
will speak on "Using and describing non-Newtonian complex fluids: wall-climbing robots, algal biofuel precursors, and fire-suppression gels"
Differential Geometry/Symplectic Topology:
at 1:30 in VinH 570
-
Professor Albert Todd
from University of Rochester
will speak on "The moduli space of asymptotically cylindrical special Lagrangian submanifolds"
Special Ordway Seminar:
at 2:10 in VinH 16
-
Professor Andre Joyal
from University of Quebec at Montreal
will speak on "Quasi-Categories"
Colloquium:
at 3:30 in Vincent Hall 16
-
Professor Ragnar Winther
from University of Oslo
will speak on "Finite element exterior calculus -- a link between topology and numerical analysis"
Friday, 8 Apr 2011
Graduate Student Forum Seminar:
at 12:20 in VinH 16
-
... Will not meet this week
Industrial Problems Seminar:
at 1:25 in Lind Hall 305
-
Fatih M. Porikli
from Mitsubishi Electric Research Laboratories
will speak on "Learning on manifolds"
Lie Theory Seminar:
at 1:30 in VinH 20
-
Professor Jeff Adler
from American University
will speak on "Title: to be announced"
Probability Seminar:
at 2:30 in VinH 213
-
Professor Maury Bramson
will speak on "Maximal displacement of Brownian motion and the two-dimensional Gaussian free field, Part II"
Combinatorics Seminar:
at 3:35 in VinH 570
-
Professor Vic Reiner
will speak on "A new twisted Gelfand pair from reflection groups"
Automorphic Forms and Number Theory:
at 3:35 in VinH 364
-
Professor Paul Garrett
will speak on "The simplest GL(2) subconvexity example"
Practitioners' Financial Mathematics Seminar:
at 5:30 in VinH 16
-
Associate Professor Adlai Fisher
from Sauder School of Business, University of British Columbia
will speak on "Dimension-Invariant Dynamic Term Structures"
|
