===============================================

Call for Participation

Compose Conference 2016

February 4-5, 2016
New York, NY

http://www.composeconference.org/

===============================================

The practice and craft of functional programming :: Conference

Compose is a conference for typed functional programmers, focused
specifically on Haskell, OCaml, F#, SML, and related technologies.

Typed functional programming has been taken up widely, by industry and
hobbyists alike. For many of us it has renewed our belief that code
should be beautiful, and that programming can be as enjoyable as it is
practical. Compose is about bringing together functional programmers
of all levels of skill and experience — from technical leads to
novices, and from long-time hackers to students just getting started.

It will feature a keynote by Eugenia Cheng on her work popularizing
mathematics, two days of great talks, and plans are underway for a
weekend hackathon/unconference.

* Invited Talks:
Eugenia Cheng: How to Bake 'How to Bake Pi': reflections on making
abstract mathematics palatable

* Local Information (venue): http://www.composeconference.org/2016/

* Accepted Talks and Tutorials

Aditya Siram: FLTKHS - Easy Native GUIs in Haskell, Today!
Austin Seipp: Cryptography and Verification with Cryptol
Kenneth Foner: 'There and Back Again' and What Happened After
Krzysztof Cieslak: Ionide and state of F# open source environment
Leonid Rozenberg: The Intersection of Machine Learning, Types and Testing
Luite Stegeman: Fun with GHCJSi
Markus Mottl: AD-OCaml - Parallel Algorithmic Differentiation for OCaml
Mindy Preston: Composing Network Operating Systems
Niki Vazou: Liquid Types for Haskell
Paulmichael Blasucci: (Nearly) Everything You Ever Wanted to Know
About F# Active Patterns but were Afraid to Ask
Rachel Reese: Chaos Testing at Jet
Riccardo Terrell: Functional Reactive Programming for Natural User Interface
Stephen Compall: Add a type parameter! One 'simple' design change, a
panoply of outcomes
Stephanie Weirich: Dynamic Typing in GHC
Tikhon Jelvis: Analyzing Programs with Z3
Zvonimir Pavlinovic, Tim King and Thomas Wies: Improving Type Error
Localization for Languages with Type Inference

* Full abstracts: http://www.composeconference.org/2016/speakers/

* Registration: http://composeconference.eventbrite.com

* Follow @composeconf on twitter for news: https://twitter.com/composeconf

* On freenode irc, chat will fellow attendees at #composeconference

* Corporate sponsorships are welcome. Current sponsors list forthcoming.

* Policies (diversity and anti-harassment):
http://www.composeconference.org/conduct

* Email us with any questions at info@composeconference.org

* Please forward this announcement to interested parties and lists.