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 A46347FBBC for ; Wed, 7 Jan 2015 16:02:11 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=pra; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of goswin-v-b@web.de designates 212.227.15.3 as permitted sender) identity=mailfrom; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlMAABNJrVTU4w8DnGdsb2JhbABc0FkCgQ9DAQEBAQERAQEBAQEGDQkJFC6EDQEFHRUBNSELGAklDwUoiEsBFAS/ER+DfwEBCAEBAQEeig6FCBEBAlUWgwCBEwWXLYEPgm6CBAyLWIQRgXqBNwEBAQ X-IPAS-Result: AlMAABNJrVTU4w8DnGdsb2JhbABc0FkCgQ9DAQEBAQERAQEBAQEGDQkJFC6EDQEFHRUBNSELGAklDwUoiEsBFAS/ER+DfwEBCAEBAQEeig6FCBEBAlUWgwCBEwWXLYEPgm6CBAyLWIQRgXqBNwEBAQ X-IronPort-AV: E=Sophos;i="5.07,715,1413237600"; d="scan'208";a="116047119" Received: from mout.web.de ([212.227.15.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Jan 2015 16:02:11 +0100 Received: from frosties.localnet ([134.3.241.185]) by smtp.web.de (mrweb001) with ESMTPSA (Nemesis) id 0M9GYQ-1XxLnI26TW-00CjFy for ; Wed, 07 Jan 2015 16:02:10 +0100 Received: from mrvn by frosties.localnet with local (Exim 4.82) (envelope-from ) id 1Y8s7d-00050x-Mc for caml-list@inria.fr; Wed, 07 Jan 2015 16:02:09 +0100 Date: Wed, 7 Jan 2015 16:02:09 +0100 From: Goswin von Brederlow To: caml-list@inria.fr Message-ID: <20150107150209.GB17784@frosties> References: MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) X-Provags-ID: V03:K0:dYW5t1Q3UjfuTXKT38XKMrl+iwDrKTKcawDtAb7tqES6ku6SvkG /U5QZZMAfS4sBg8P2DOo0wonbif9aVaKuTrvO8GUXEYE6LENeqe71t7ZFUQD5mdZY0yHPl8 /yTkf4BlPihfa7kh0njHoT0fj7makM8v+oRXft9miNyqzByBxxoTczgz2YHzs4+zbWWshmA h22sW4PJppYRszsvfsAXQ== X-UI-Out-Filterresults: notjunk:1; Subject: Re: [Caml-list] LambdaConf 2015 - CFP On Sat, Dec 20, 2014 at 11:27:02AM -0700, John A. De Goes wrote: > > 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 many 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. > Languages. New languages (functional / logic), functional ways to use existing languages, language extensions, etc. > Theory. Type theory, category theory, abstract algebra, ongoing or new research, and anything useful or interesting to functional programmers or academics working in the field. > Libraries. Cool libraries that demonstrate the power of functional programming in helping programmers get stuff done. > Case Studies. Case studies showing how using a functional language or 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 OCaml 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 might be interested, please spread the word! > > Regards, > > John When is the conference and when is the submission deadline? MfG Goswin