Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
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[...]
|
||||||
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.
|
||||||