Calendar

Sun Mon Tue Wed Thu Fri Sat
1
2
4
5
6
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[...]
7
8
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[...]
9
10
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[...]
11
12
13
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[...]
14
15
16
17
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)[...]
18
19
20
21
22
23
24
25
26
27
28
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)
29
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)
30
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)
31
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)