Calendar

29 Wed
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)
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[...]
1:30 pm Type Theory: practice session @ Keller Hall (4th fl)
Type Theory: practice session @ Keller Hall (4th fl)
Mar 29 @ 1:30 pm – 3:00 pm
(hands on practice session to accompany 11am lecture)