| 26 Sun | 27 Mon | 28 Tue | 29 Wed | 30 Thu | 31 Fri | 1 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: Typed Lambda Calculus
@ Keller Hall (4th floor)
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[...]
1:30 pm
Lambda Calculus: practice session
@ Keller Hall (4th fl)
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)
|
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)
|
11:00 am
Short Course: Typed Lambda Calculus
@ Keller Hall (4th floor)
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[...]
1:30 pm
Lambda Calculus: practice session
@ Keller Hall (4th fl)
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)
|
11:00 am
Short Course: Type Theory
@ Keller Hall (4th fl)
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[...]
1:30 pm
Type Theory: practice session
@ Keller Hall (4th fl)
Type Theory: practice session
@ Keller Hall (4th fl)
Mar 31 @ 1:30 pm – 3:00 pm
(hands on practice session to accompany 11am lecture)
|
11:00 am
Short Course: Typed Lambda Calculus
@ Keller Hall (4th floor)
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[...]
1:30 pm
Lambda Calculus: practice session
@ Keller Hall (4th fl)
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)
|
