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.
|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.|
|TypeFamilies in 20 Minutes or Less||Brandon Simmons||A tutorial introduction to my favorite GHC extension; at the end of the talk you should have a good idea of what TypeFamilies is all about, and a sense of where you might use it in your own code.|
|Concurrent programming with async and STM||John Wiegley||An introduction to using STM and async to write safe and effective concurrent code.|
|The learn-physics project||Scott Walck||Can you learn physics solely by reading Haddock pages? Probably not, but it could be a fun way to learn for some people. The learn-physics project aims to provide readable code that exposes the structure of physical theory and allows the calculation of quantities of physical interest. So far, it's mainly electromagnetic theory.|