<div dir="ltr"><br><div style="font-size:12.8px" class="gmail-dial-congress-scanned dial-congress-scanned"><div style="font-size:12.8px"><div><br></div><div><a href="http://lambdaconf.us/events/2017/lcusc.html" target="_blank" class="gmail-dial-congress-scanned">http://lambdaconf.us/events/20<wbr>17/lcusc.html</a></div><div><br></div><div>LambdaConf is one of the largest functional programming conferences in the world, focused on foundational concepts (such as lambda calculus, type theory, category theory), functional programming languages (Haskell, Scala, PureScript, F#, Clojure, Elixir, and more), new languages and approaches in functional programming, functional programming libraries, and related areas such as dependent types, proof systems, parallel array programming, functional GPU processing, and more.</div><div><br></div><div>Standard registration is now open at Eventbrite:</div><div><br></div><div><a href="https://www.eventbrite.com/e/lambdaconf-2017-registration-29839799644" target="_blank" class="gmail-dial-congress-scanned">https://www.eventbrite.com/e/l<wbr>ambdaconf-2017-registration-29<wbr>839799644</a></div><div><br></div><div>A complete list of sessions is online, including the following highlights:</div><div><br></div><div> * 6 keynotes, including one on using Haskell to model life on the blockchain, one on how programmers brains work, and one on the axes of abstraction;</div><div> * 8 leap workshops, including an in-depth workshop on category theory, one on optics, and one on building front-ends using PureScript Halogen;</div><div> * 12 hop workshops, including one introducing Coq, another diving into recursion schemes, and another teaching functional data processing;</div><div> * 9 de novo sessions, including on one formally specified digital logic, one on algebraic and monadic composability for distributed computing, and one on type-level REST programming;</div><div> * 21 educational sessions, including one on Free monads, one on high-performance Haskell, one on codata and corecursion, one on FP on Android using Frege, and another on dependently-typed programming in Haskell;</div><div> * 21 inspire sessions, including one on dependent-pairs, one on generative design, and one on type singletons.</div><div> </div><div>This is more than 110 hours of content, with enough variety and difficulty level for everyone. Speakers are book authors, contributors to open source libraries, researchers, and practicing functional programmers.</div><div><br></div><div>The conference takes place in Boulder, Colorado, from <span class="gmail-m_5676302428473696047gmail-aBn gmail-dial-congress-scanned">May 25 - 27</span>, at the University of Colorado Boulder in the foothills of the Rocky Mountains. Conference registration includes all sessions (including workshops), locally-catered breakfast and lunch on Thursday, Friday, and Saturday; a conference dinner on Friday night; a choice from a variety of networking activities on Sunday; free childcare and STEM workshops for children; all-gender restrooms and handicapped-accessible venues.</div><div><br></div><div>Videos from some previous events can be found here: <a href="https://www.youtube.com/channel/UCEtohQeDqMSebi2yvLMUItg" target="_blank" class="gmail-dial-congress-scanned">https://www.youtube.com/<wbr>channel/UCEtohQeDqMSebi2yvLMUI<wbr>tg</a>; and here: <a href="https://www.youtube.com/watch?v=JxC1ExlLjgw&list=PLE7tQUdRKcybh21_zOg8_y4f2oMKDHpUS" target="_blank" class="gmail-dial-congress-scanned">https://www.youtube.com/<wbr>watch?v=JxC1ExlLjgw&list=PLE7t<wbr>QUdRKcybh21_zOg8_y4f2oMKDHpUS</a></div><div><br></div><div>The conference is preceded by commercial training opportunities on Monday - Tuesday, including:</div><div><br></div><div> * Up & Running with Elixir & Phoenix, by Brooklyn Zelenka</div><div> * Applied Haskell, by Michael Snoyman</div><div> * Advanced FP in Scala, by John A. De Goes</div><div> * Introduction to FP, by David Koontz</div><div> * Mastering Apache Spark, by Pawel Szulc</div><div> * Mastering Elm, by Isaac Shapira</div><div> </div><div>On Wednesday, several free mini-conferences are co-located with LambdaConf:</div><div><br></div><div> * PureScript Conf 2017</div><div> * Introduction to FP with Haskell</div><div><br></div><div>For more information on LambdaConf, the commercial training workshops, or the mini-conferences, please visit the website:</div><div><br></div><div><a href="http://lambdaconf.us/events/2017/lcusc.html" target="_blank" class="gmail-dial-congress-scanned dial-congress-scanned">http://lambdaconf.us/events/20<wbr>17/lcusc.html</a></div></div></div></div>