Calendar

2 Sun 3 Mon 4 Tue 5 Wed 6 Thu 7 Fri 8 Sat
All-day
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
11:00 am Short Course: Type Theory @ Keller Hall (4th fl)
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[...]
1:30 pm Type Theory: practice session @ Keller Hall (4th fl)
Type Theory: practice session @ Keller Hall (4th fl)
Apr 2 @ 1:30 pm – 3:00 pm
(hands on practice session to accompany 11am lecture)
3:30 pm Colloquium: Caleb Shor (Western New England U.)
Colloquium: Caleb Shor (Western ...
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[...]
3:00 pm Colloquium: Vakhtang Putkaradze (U. Alberta) @ Keller 401
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[...]
2:30 pm Logic seminar: Jack Yoon @ Keller 404
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[...]