Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
(→Talks: topology talk no longer tentative) |
|||
| (10 intermediate revisions by 8 users not shown) | |||
| Line 1: | Line 1: | ||
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. |
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. |
||
| − | |||
| − | == Talk ideas (not final) == |
||
| − | |||
| − | * thoughtpolice would enjoy talking a bit about [http://impredicative.com/ur Ur/Web], for those interested in static types and web development. |
||
== Talks == |
== Talks == |
||
| Line 11: | Line 7: | ||
! Speaker |
! Speaker |
||
|- |
|- |
||
| + | ! Cyclotomic Numbers: Exact calculation with complex numbers |
||
| − | | N/A |
||
| + | ! Scott Walck |
||
| − | | N/A |
||
| + | |- |
||
| + | !(Tentative) Designing a Haskell Native Dataframe |
||
| + | !Carter Schonwald |
||
| + | |- |
||
| + | !Topology is computability |
||
| + | !Mark Dominus |
||
|} |
|} |
||
| − | |||
| − | == Workshop Polls == |
||
| − | |||
| − | === Natural Language Syntax Formalisms === |
||
| − | |||
| − | If you're interested in a workshop on formalisms for natural language syntax, please say so here so I can know to prepare something. It'll probably end up being very high-level, without implementations for much of it. [[User:Augur|Augur]] 22:49, 18 June 2011 (UTC) |
||
Revision as of 18:33, 4 August 2012
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 |
|---|---|
| Cyclotomic Numbers: Exact calculation with complex numbers | Scott Walck |
| (Tentative) Designing a Haskell Native Dataframe | Carter Schonwald |
| Topology is computability | Mark Dominus |