From: Ashish Agarwal <agarwal1975@gmail.com>
To: Caml List <caml-list@inria.fr>
Subject: [Caml-list] Compose Conference Call for Participation [NYC, May 18-19]
Date: Wed, 12 Apr 2017 14:19:14 -0400 [thread overview]
Message-ID: <CAMu2m2K2f1oApCDcwrpJiCrxh7337D_0FY1yP2wJGfeey4YJQg@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 2889 bytes --]
===============================================
Call for Participation
Compose Conference 2017
May 18-19 2017
New York, NY
http://www.composeconference.org/2017
===============================================
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 Emily Riehl on aspects of category theory and
computation, and two days of great talks.
* Invited Talks
Emily Riehl: TBA
* Local Information (venue): http://www.composeconference.org/2017/
* Accepted Talks and Tutorials
Barry Burd - Teaching Haskell
David Rhodes - Learning F#: Case study with branch and bound
Edmund Cape - Multiplying by 1 - an important form of computation and
how it reveals distinctions between kleislis
Enzo Alda, et al. - Reactive Sheets: an intuitive approach to
functional‑reactive computing
Hezekiah Carty and Chris Donaher - Distrest - REST access to
distributed services
Hongbo Zhang - BuckleScript: Making functional programming accessible
to JavaScript developers
Jennifer Paykin, Kenneth Foner, Antal Spector-Zabusky - `choose` Your
Own Derivative
Joachim Breitner - Lock-step simulation is child’s play
Martín Ceresa, Gustavo Grieco - QuickFuzz Testing for Fun and Profit
Michael Chavinda - Android programming in Froid
Nikhil Barthwal - Implementing an Event-Driven Microservices
Architecture in F#: A case study of Jet.com
Nikita Volkov - New Hasql - a simpler, safer and faster Postgres client
Sebastien Mondet - Typed-Tagless Final Bioinformatics
Stephen Compall - Working with Monads in OCaml
Stuart Popejoy - Smart Contracts and Formal Verification with Z3 with Pact
Tikhon Jelvis - The Probability Monad
Yaron Minsky - Data Driven UIs, Incrementally
* Full abstracts: http://www.composeconference.org/2017/program
* Registration: http://composeconference.eventbrite.com
* Follow @composeconf on twitter for news: https://twitter.com/composeconf
* On freenode irc, chat with 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.
[-- Attachment #2: Type: text/html, Size: 3854 bytes --]
reply other threads:[~2017-04-12 18:19 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CAMu2m2K2f1oApCDcwrpJiCrxh7337D_0FY1yP2wJGfeey4YJQg@mail.gmail.com \
--to=agarwal1975@gmail.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).