Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
(Clearing for 2016) |
|||
| (24 intermediate revisions by 16 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.--> |
| + | If you'd like to give a talk, we'll be asking around for abstracts close to the date of the event. |
||
| − | == 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. |
||
| − | |||
| ⚫ | |||
{| class="wikitable" |
{| class="wikitable" |
||
! Talk Name |
! Talk Name |
||
! Speaker |
! Speaker |
||
| + | ! Description--> |
||
| + | <!-- copy this template to add your talk |
||
| ⚫ | |||
| + | | A Stunning Talk on an Unfathomable Topic |
||
| + | | Joe the Mighty |
||
| + | --><!-- |
||
| + | |- |
||
| + | | Relational Algebra in Haskell |
||
| + | | Andrew Thaddeus Martin |
||
|- |
|- |
||
| + | | Visible type application in GHC 8.0 |
||
| − | | MongoDB driver for Haskell |
||
| + | | Richard Eisenberg |
||
| − | | Tony Hannan |
||
| ⚫ | |||
| + | |}--> |
||
| − | == Workshop Polls == |
||
| − | === Natural Language Syntax Formalisms === |
||
| + | [[Category:Community]] |
||
| − | 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) |
||
Latest revision as of 21:42, 9 August 2016
If you'd like to give a talk, we'll be asking around for abstracts close to the date of the event.