# Calendar

Sun Mon Tue Wed Thu Fri Sat
Short Course: Typed Lambda Calculus 11:00 am
Short Course: Typed Lambda Calculus @ Keller Hall (4th floor)
Apr 1 @ 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)
Apr 1 @ 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)
Apr 2 @ 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)
Apr 2 @ 1:30 pm – 3:00 pm
(hands on practice session to accompany 11am lecture)
Colloquium: Caleb Shor (Western New England U.) 3:30 pm
Apr 5 @ 3:30 pm – 4:30 pm
Speaker: Caleb Shor, Western New England University Title: Characterization of free numerical semigroups Abstract: Let $\mathbb{N}_0$ denote the set of nonnegative integers. A numerical semigroup $S$ is a subset of $\mathbb{N}_0$ that is closed under[...]
Colloquium: Vakhtang Putkaradze (U. Alberta) 3:00 pm
Colloquium: Vakhtang Putkaradze ... @ Keller 401
Apr 6 @ 3:00 pm – 4:00 pm
Speaker: Vakhtang Putkaradze Centennial Professor Department of Mathematics and Statistics Department of Chemical Engineering PIMS Site Director at the University of Alberta Title: Dynamics and control of flexible solar towers Abstract: The use of solar[...]
Logic seminar: Jack Yoon 2:30 pm
Logic seminar: Jack Yoon @ Keller 404
Apr 7 @ 2:30 pm – 3:20 pm
The Logic Seminar will meet again this Friday, usual place and time. The speaker will be Jack Yoon. Title: Proof Mining Abstract: Proof mining (proof unwinding) is a technique used to extract constructive information from[...]
Colloquium: Alexander Volberg (Michigan State) 3:30 pm
Colloquium: Alexander Volberg (M... @ Keller 404
Apr 13 @ 3:30 pm – 4:30 pm
Title: Non-homogeneous harmonic analysis, Geometric Measure Theory and fine structures of harmonic measure Abstract: One of the goals of harmonies analysis is to study singular integrals. Singular integrals are ubiquitous objects in PDE and in[...]
Analysis Qualifying Exam 9:00 am
Apr 17 @ 9:00 am – 1:00 pm
MFC Seminar: The Joy of FP in Haskell 3:00 pm
MFC Seminar: The Joy of FP in Ha... @ Keller 401
Apr 18 @ 3:00 pm – 4:15 pm
Title: The Joy of Functional Programming in Haskell Speaker: Jake Fennick Time: 3pm Tuesday April 18, 2017 Location: Keller 401 Abstract: The goal of this talk is to convey to you the experience of pure[...]
Algebra Comprehensive Exam 9:00 am
Apr 21 @ 9:00 am – 1:00 pm
Colloquium: Ruth Haas (UHM) 3:30 pm
Apr 21 @ 3:30 pm – 4:30 pm
Speaker: Ruth Haas (UHM) How to get an academic job in the mathematical sciences Getting a tenure track job is great! How can you increase your chances of getting a job you like? The time[...]
Colloquium: Eric Kostelich (ASU) 3:30 pm
Colloquium: Eric Kostelich (ASU) @ Keller 402
Apr 25 @ 3:30 pm – 4:30 pm
Title: Short-term Forecasting of Weather and Cancer: Finding Initial Conditions and Parameters for Dynamical Models from Noisy Data Speaker: Eric Kostelich, School of Mathematical & Statistical Sciences, Arizona State University Abstract: Computer models are essential[...]
MFC Seminar: The Joy of FP in Haskell 3:00 pm
MFC Seminar: The Joy of FP in Ha... @ Keller 401
Apr 27 @ 3:00 pm – 4:15 pm
Title: The Joy of Functional Programming in Haskell Speaker: Jake Fennick Time: 3pm Tuesday April 18, 2017 Location: Keller 401 Abstract: The goal of this talk is to convey to you the experience of pure[...]
MA defense: Mirza Baig 7:30 am
Apr 28 @ 7:30 am – 8:30 am
Inverting the Radon Transform using Summability Kernels Link to Master’s project Abstract. We study an inversion technique of the Radon Transform using Summability Kernels and consider the problem of numerically implementing this algorithm. In doing[...]
Logic Seminar: Jack Yoon 2:30 pm
Logic Seminar: Jack Yoon @ Keller 404
Apr 28 @ 2:30 pm – 3:30 pm
Jack Yoon will continue his explication of Proof Mining.