| 7 Fri |
|---|
|
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
9:30 am
Midterm 3 (8.7, 9.1-9.5)
Midterm 3 (8.7, 9.1-9.5)
Apr 7 @ 9:30 am – 10:30 am
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[...]
|