From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5E9E07FB53 for ; Sat, 20 Dec 2014 19:27:08 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of john@degoes.net) identity=pra; client-ip=209.85.220.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="john@degoes.net"; x-sender="john@degoes.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of john@degoes.net) identity=mailfrom; client-ip=209.85.220.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="john@degoes.net"; x-sender="john@degoes.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f42.google.com) identity=helo; client-ip=209.85.220.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="john@degoes.net"; x-sender="postmaster@mail-pa0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtEAAMy+lVTRVdwqlGdsb2JhbABbgkMhdFmDA7QRjxmHAxYBAQEBAREBAQEBBwsLCRIwhCULBkVuAjYBBQECVYgKAQQIqlaDJz4xiy6VeAqKAIUGEQECgz2BQQWJR4RIgz6FNIENgmOMEDWBFYQwgVuBNwEBAQ X-IPAS-Result: AtEAAMy+lVTRVdwqlGdsb2JhbABbgkMhdFmDA7QRjxmHAxYBAQEBAREBAQEBBwsLCRIwhCULBkVuAjYBBQECVYgKAQQIqlaDJz4xiy6VeAqKAIUGEQECgz2BQQWJR4RIgz6FNIENgmOMEDWBFYQwgVuBNwEBAQ X-IronPort-AV: E=Sophos;i="5.07,614,1413237600"; d="scan'208,217";a="114324096" Received: from mail-pa0-f42.google.com ([209.85.220.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Dec 2014 19:27:07 +0100 Received: by mail-pa0-f42.google.com with SMTP id et14so3268351pad.29 for ; Sat, 20 Dec 2014 10:27:05 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:message-id:subject:mime-version :content-type; bh=RmnPfGyAtilNcvP4Ci4xAexC7ifXPoU5577Aub669X0=; b=ccn8nCXZY9MKKyNepZAgCr7NYPmEZbumESnh/BzT6kYMMkfikOdQWUb9+YxTFC9ahY QwNpz0naPRWrxH8s6H969WhEY5cj9maL1zZeZ38jmInwueNBkqrBDhrXX6dfIj2Y0Ox3 crUdj9jazhNDVOWke8HTJNZry6bW6D3j7RhV40nBAOCBQKy6Olv//r+Dd29bZv5RKGkW /7Om4xVL3S9ntIQsdQeZFRkAQpsgK+/OsjQN9oaDVAk+jQfXF04ECQwx71/EvNH9gJC2 SpWTcKW/Y954xkAQiuG6I1LuTLlcd7AhrDKmRCpRTr9CAG+8RidPfQ3DojgtGgVqId6l xXXg== X-Gm-Message-State: ALoCoQkVawOx2pckh261XV4kL0psiVSwGByGPtODwAXrW4Us/WFiBqJlP95K8zK9SoxID9G8CvHN X-Received: by 10.66.161.103 with SMTP id xr7mr22120304pab.141.1419100025113; Sat, 20 Dec 2014 10:27:05 -0800 (PST) Received: from john.local ([2601:1:8700:72f:b454:d1b3:b521:f1dd]) by mx.google.com with ESMTPSA id ko4sm13062010pdb.31.2014.12.20.10.27.03 for (version=TLSv1.2 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sat, 20 Dec 2014 10:27:04 -0800 (PST) Date: Sat, 20 Dec 2014 11:27:02 -0700 From: "John A. De Goes" To: caml-list@inria.fr Message-ID: X-Mailer: Airmail (249) MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="5495bf76_1ba026fa_5f2b" Subject: [Caml-list] LambdaConf 2015 - CFP --5495bf76_1ba026fa_5f2b Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Hi all, LambdaConf 2015=C2=A0has officially opened its Call for Proposals.=C2=A0 LambdaConf 2015 is being held in the beautiful foothills of the Rocky Mount= ains, in Boulder, Colorado (home to many companies using FP). The conferenc= e is devoted to helping people become better programmers through functional= and declarative programming. We're looking for lightning talks, workshops, and presentations on the foll= owing themes: FP 101. Introductory material for the FP curious or those just getting thei= r feet wet. Languages. New languages (functional / logic), functional ways to use exist= ing languages, language extensions, etc. Theory. Type theory, category theory, abstract algebra, ongoing or new rese= arch, and anything useful or interesting to functional programmers or acade= mics working in the field. Libraries. Cool libraries that demonstrate the power of functional programm= ing in helping programmers get stuff done. Case Studies. Case studies showing how using a functional language or libra= ry proved to be game-changing in solving real world problems. We currently have talks or workshops lined up for Haskell, Purescript, Scal= a, and Rust. It would be great to get some high-quality OCaml content this = year. If you'd like to submit a proposal, just send a private email to me or=C2= =A0visit the official website=C2=A0for more information. We are not yet open for registrations, but we are actively looking for a co= uple more volunteers, as well as sponsors. If you know someone who might be= interested, please spread the word! Regards, John= --5495bf76_1ba026fa_5f2b Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline =

Hi all,

LambdaConf 2015 has officially opened its= Call for Proposals. 

LambdaConf 2015 is being held in the = beautiful foothills of the Rocky Mountains, in Boulder, Colorado (home to m= any companies using FP). The conference is devoted to helping people become= better programmers through functional and declarative programming.

=
We're looking for lightning talks, workshops, and presentations on the = following themes:
  • FP 101. Introductory material for the FP curious or those= just getting their feet wet.
  • <= span style=3D"margin: 0px; padding: 0px; border: 0px; vertical-align: basel= ine; line-height: normal;">Languages. New languages (functional / lo= gic), functional ways to use existing languages, language extensions, etc.<= /span>
  • = Theory. Type theory, category theory, abstract algebra, ongoing or new = research, and anything useful or interesting to functional programmers or a= cademics working in the field.
  • = Libraries. Cool libraries that demonstra= te the power of functional programming in helping programmers get stuff don= e.
  • = Case Studies. Case studies showing how using a functional language o= r library proved to be game-changing in solving real world problems.=
We currently have talks or workshops lined up for Haskell, = Purescript, Scala, and Rust. It would be great to get some high-quality OCa= ml content this year.

If you'd like to submit a proposal, = just send a private email to me or visit the official website for more information.

=
We are not yet open for registrations, but we are actively looking for = a couple more volunteers, as well as sponsors. If you know someone who migh= t be interested, please spread the word!

Regards,

<= div style=3D"margin: 0px; padding: 0px; border: 0px; vertical-align: baseli= ne; color: rgb(34, 34, 34); font-family: Arial, Helvetica, sans-serif;">Joh= n= --5495bf76_1ba026fa_5f2b--