Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
Colloquium: Pamela Harris (Williams)
3:30 pm
Colloquium: Pamela Harris (Willi...
Mar 3 @ 3:30 pm – 4:30 pm
|
||||||
Colloquium: Evan Gawlik (UCSD)
3:30 pm
Colloquium: Evan Gawlik (UCSD)
Mar 6 @ 3:30 pm – 4:30 pm
Speaker: Evan Gawlik (UCSD) Title: Numerical Methods for Partial Differential Equations on Evolving Domains Abstract: Many important and challenging problems in computational science and engineering involve partial differential equations with a high level of geometric[...]
|
Colloquium: Tam Nguyen Phan (Binghamton U.)
3:30 pm
Colloquium: Tam Nguyen Phan (Bin...
@ Keller 401
Mar 8 @ 3:30 pm – 4:30 pm
Speaker: Tam Nguyen Phan (Binghamton U.) Title: Examples of negatively curved and nonpositively curved manifolds Abstract: Let M be a noncompact, complete, Riemannian manifold. Gromov proved that if the sectional curvature of M negative and[...]
|
Colloquium: John Holbrook (U. Guelph)
3:30 pm
Colloquium: John Holbrook (U. Gu...
Mar 10 @ 3:30 pm – 4:30 pm
Title: Matrix algebra dimensions Abstract: What is the dimension of a triply generated commutative matrix algebra? It seems that not much is known, but we’ll discuss some relevant ideas. For example, an old result, often[...]
|
||||
Colloquium: Farbod Shokrieh (Cornell U.)
3:30 pm
Colloquium: Farbod Shokrieh (Cor...
Mar 13 @ 3:30 pm – 4:30 pm
Speaker: Farbod Shokrieh (Cornell U.) Title: Metric graphs, potential theory, and algebraic geometry Abstract: A metric graph can be viewed, in many respects, as an analogue of an algebraic curve. For example, there is a[...]
|
Colloquium: Ben Hutz (Saint Louis U.)
3:30 pm
Colloquium: Ben Hutz (Saint Loui...
@ Keller 401
Mar 17 @ 3:30 pm – 4:30 pm
Speaker: Ben Hutz (Saint Louis U.) Title: A bound on the periodic part of the forward orbit of a projective subvariety Abstract: Let $f:mathbb{P}^N to mathbb{P}^N$ be a morphism and $X subseteq mathbb{P}^N$ a (projective)[...]
|
|||||
Short Course: Typed Lambda Calculus
11:00 am
Short Course: Typed Lambda Calculus
@ Keller Hall (4th floor)
Mar 28 @ 11:00 am – 12:15 pm
Title: Introduction to Typed Lambda Calculus Speaker: William DeMeo Abstract: This is an introduction to the typed lambda calculus, a language for describing functions and tuples, with sum, product and function types. We briefly review[...]
Lambda Calculus: practice session
1:30 pm
Lambda Calculus: practice session
@ Keller Hall (4th fl)
Mar 28 @ 1:30 pm – 3:00 pm
(hands on exercise session; follow-up to 11am lecture on typed lambda calculus)
|
Short Course: Type Theory
11:00 am
Short Course: Type Theory
@ Keller Hall (4th fl)
Mar 29 @ 11:00 am – 12:15 pm
Title: Introduction to Type Theory Speaker: William DeMeo Abstract: Type Theory is a foundation for mathematics and computer science and was developed by logicians like Alonzo Church and Per Martin-Löf. Suitable as a basis for[...]
Type Theory: practice session
1:30 pm
Type Theory: practice session
@ Keller Hall (4th fl)
Mar 29 @ 1:30 pm – 3:00 pm
(hands on practice session to accompany 11am lecture)
|
Short Course: Typed Lambda Calculus
11:00 am
Short Course: Typed Lambda Calculus
@ Keller Hall (4th floor)
Mar 30 @ 11:00 am – 12:15 pm
Title: Introduction to Typed Lambda Calculus Speaker: William DeMeo Abstract: This is an introduction to the typed lambda calculus, a language for describing functions and tuples, with sum, product and function types. We briefly review[...]
Lambda Calculus: practice session
1:30 pm
Lambda Calculus: practice session
@ Keller Hall (4th fl)
Mar 30 @ 1:30 pm – 3:00 pm
(hands on exercise session; follow-up to 11am lecture on typed lambda calculus)
|
Short Course: Type Theory
11:00 am
Short Course: Type Theory
@ Keller Hall (4th fl)
Mar 31 @ 11:00 am – 12:15 pm
Title: Introduction to Type Theory Speaker: William DeMeo Abstract: Type Theory is a foundation for mathematics and computer science and was developed by logicians like Alonzo Church and Per Martin-Löf. Suitable as a basis for[...]
Type Theory: practice session
1:30 pm
Type Theory: practice session
@ Keller Hall (4th fl)
Mar 31 @ 1:30 pm – 3:00 pm
(hands on practice session to accompany 11am lecture)
|