Difference between revisions of "Hac NYC/Talks"
< Hac NYC
Jump to navigation
Jump to search
(→Talks) |
(→Talks) |
||
| Line 4: | Line 4: | ||
{| class="wikitable" |
{| class="wikitable" |
||
| − | ! Talk Name |
+ | ! Talk Name |
! Speaker |
! Speaker |
||
! Description |
! Description |
||
| Line 12: | Line 12: | ||
| A short description |
| A short description |
||
|- |
|- |
||
| − | | An invitation to Homotopy Type Theory |
+ | | style="width: 150px;" | An invitation to Homotopy Type Theory |
| Gershom Bazerman |
| Gershom Bazerman |
||
| You won't know HoTT or understand it at the end of this talk. But you may understand at least what the domain is, why it is of interest, and even maybe have some notion of what "univalence" could be and why it is reasonable to expect that it should compute. |
| You won't know HoTT or understand it at the end of this talk. But you may understand at least what the domain is, why it is of interest, and even maybe have some notion of what "univalence" could be and why it is reasonable to expect that it should compute. |
||
Revision as of 01:34, 22 January 2014
If you'd like to give a talk, announce it here; tell us your name, the title of the talk, a short description. Please also let us know if you won't be attending Saturday afternoon and want to present at some other time.
Talks
| Talk Name | Speaker | Description |
|---|---|---|
| A name | John Doe | A short description |
| An invitation to Homotopy Type Theory | Gershom Bazerman | You won't know HoTT or understand it at the end of this talk. But you may understand at least what the domain is, why it is of interest, and even maybe have some notion of what "univalence" could be and why it is reasonable to expect that it should compute. |