From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 143997F382 for ; Tue, 14 Jun 2016 08:42:52 +0200 (CEST) IronPort-PHdr: 9a23:+ixCRx8y9Tjjyv9uRHKM819IXTAuvvDOBiVQ1KB91uMcTK2v8tzYMVDF4r011RmSDdSdu6gP0rKP+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuSt+U3578jrjrs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYjck87NZNWrnWeKExTLoQTGh3cjN92Mq+vhDGSU6L52AAemQQiBtBRQbfvz/gWZKkiCz/P+w19y6cL0TyQKJ8DS6l6q5tYALugiAaMTU0tmrQj5oj3+pgvBu9qkknkMbva4aPOa8iL64= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=roman@unbounce.com; spf=Pass smtp.mailfrom=roman@unbounce.com; spf=None smtp.helo=postmaster@mail-vk0-f49.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of roman@unbounce.com) identity=pra; client-ip=209.85.213.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="roman@unbounce.com"; x-sender="roman@unbounce.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of roman@unbounce.com designates 209.85.213.49 as permitted sender) identity=mailfrom; client-ip=209.85.213.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="roman@unbounce.com"; x-sender="roman@unbounce.com"; 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@mail-vk0-f49.google.com) identity=helo; client-ip=209.85.213.49; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="roman@unbounce.com"; x-sender="postmaster@mail-vk0-f49.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CzCQAjpl9XfTHVVdFcgnBsOH2BbaohiiaCcoIQgXgXAQoQhAqDDD4OAQEBAQEBAQERAQEJCwsJIS+CMYIzCwYdAQEmEiU3AiQSAQUBV4gODpttgTE+MYpUZ4RCAQEFjRQIEIwdg1OBfQstE4JHk0iFIIYEiCSCN4xqjjMwgQ84DIIkgVo8MgwBAYl6AQEB X-IPAS-Result: A0CzCQAjpl9XfTHVVdFcgnBsOH2BbaohiiaCcoIQgXgXAQoQhAqDDD4OAQEBAQEBAQERAQEJCwsJIS+CMYIzCwYdAQEmEiU3AiQSAQUBV4gODpttgTE+MYpUZ4RCAQEFjRQIEIwdg1OBfQstE4JHk0iFIIYEiCSCN4xqjjMwgQ84DIIkgVo8MgwBAYl6AQEB X-IronPort-AV: E=Sophos;i="5.26,470,1459807200"; d="scan'208,217";a="222319587" Received: from mail-vk0-f49.google.com ([209.85.213.49]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Jun 2016 08:42:51 +0200 Received: by mail-vk0-f49.google.com with SMTP id t129so80933339vka.1 for ; Mon, 13 Jun 2016 23:42:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unbounce.com; s=google; h=mime-version:from:date:message-id:subject:to; bh=MKdAuqRllUrmB/JkTwK7qhLmPqjZbHd9PZaXUXthkxY=; b=C1IOovrsUgSyBDDnGX1dKsb0nLMoXrESZ75f5JVZb8djU9M0k9EQMvCpsMTljMhmmQ y4tJrmhBDEauKJvzLf+93vX7+MlVhqPps+2RdzWoMjWPw5BRtsc1xL6hn/nt7RQq3jt4 41t8mey9AWWvFl/8lKswA7+Pgi0D15TEeyiIc= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=MKdAuqRllUrmB/JkTwK7qhLmPqjZbHd9PZaXUXthkxY=; b=GLZAGPwiAuiE+c4XBj1Zz3EdIqQFmjNXNX0d/o6eMGPXHOk1upTq9+p02ZZGIm7fKj AgJXjw3EQohPgrlIVw1Xs9KGiUgYN5a2lSlo3l5PB4K3B3dAPACky8PcKe+MAvuuJboK N/Nc0GfXmGDRJP36Ont9z0A8IMDcLYNGIXsqoys5thACaBSaAzhnrUNslS9yYzcSGM+K I3fAP1BTiDUwzfvzLwGzBE1JBBfiRHWLWbRXZJ+xI9OUc2Pi1YykYkGu2FqLlAvrFh/+ SabuFGf8B1o08EPAUsl/zQL72YVoB5IC4jrZ4XrZPU7+v6zwLef9twRvHycEmVlC2V4O MZYg== X-Gm-Message-State: ALyK8tJNMMm1EyxhhwV7nuqFk+GaXD/fnFsluNXmkc4S+U65u0sQXHmE9zAxnJZd/pWB7gMzt6Xp74dH4DOYJPHw X-Received: by 10.176.3.176 with SMTP id 45mr7778765uau.20.1465886569912; Mon, 13 Jun 2016 23:42:49 -0700 (PDT) MIME-Version: 1.0 From: =?UTF-8?B?Um9tw6FuIEdvbnrDoWxleg==?= Date: Tue, 14 Jun 2016 06:42:40 +0000 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=94eb2c09daf047f0d60535375075 Subject: [Caml-list] CUFP 2016 Call for Tutorials --94eb2c09daf047f0d60535375075 Content-Type: text/plain; charset=UTF-8 Hi all, The Commercial Users of Functional Programming (CUFP) 2016 has its Call for Tutorials open for submission. CUFP 2016 is being held in the historic city of Nara, Japan. The conference is devoted to showcase the state of the art of Functional Programming on industrial settings. This conference is co-located with the International Conference of Functional Programming (ICFP). We're looking for tutors that would like to host workshops on on the following themes: - Introductions to functional programming languages. In the past we have had sessions of Clojure, Erlang, F#, F*, Haskell, ML, OCaml, Scala, Scheme and others. - Advanced programming languages, concepts and applications (e.g. Lens, Liquid-Haskell, Agda, Idris, etc.) - Applying functional programming in particular areas, including Web, high-performance computing, finance. - Tools and techniques supporting state of the art functional programming. In the past we have had tutorials on QuickCheck, Elm and others. - Theory. Type theory, category theory, abstract algebra, ongoing or new research, and anything useful or interesting to functional programmers. If you'd like to submit a proposal, just fill this form http://goo.gl/forms/qoyK9qYPZhiDPSzO2. More info can be found at http://cufp.org/2016/call-for-tutorials.html Regards, Roman Gonzalez. --94eb2c09daf047f0d60535375075 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi all,

The Commercial Users of Functional Programming (CUFP) 2016 has its Call for Tutorials ope= n for submission.=C2=A0

<= /div>
CUFP= =C2=A02016 is being held in the historic city of Nara, Japan. The co= nference is devoted to showcase the state of the art of Functional Programming on industrial settings.=C2=A0 This co= nference is co-located with the International Conference of Functional Prog= ramming (ICFP).

We're looking for tutors t= hat would like to host workshops on on the following themes:

- Introductions to functional programming languages. In the past we= have had sessions of Clojure, Erlang, F#, F*, Haskell, ML, OCaml, Scala, Scheme and others.

- Advanced programming languages, concepts and applications (e.g. Le= ns, Liquid-Haskell, Agda, Idris, etc.)

- Applying fun= ctional programming in particular areas, including Web, high-performance co= mputing, finance.

<= div style=3D"color:rgb(33,33,33);font-family:"helvetica neue",hel= vetica,arial,sans-serif;font-size:13px">- Tools and techniques supporting s= tate of the art functional programming. In the past we have had tutorials o= n QuickCheck, Elm and others.
<= div style=3D"color:rgb(33,33,33);font-family:"helvetica neue",hel= vetica,arial,sans-serif;font-size:13px">
- Theory. Type theory, category theory, abstract algebra, o= ngoing or new research, and anything useful or interesting to functional programmers.

If = you'd like to submit a proposal, just fill this form=C2=A0http://goo.gl/forms/qoyK9qYPZhiDPSzO2<= /a>.


Regards,

<= div style=3D"color:rgb(33,33,33);font-family:"helvetica neue",hel= vetica,arial,sans-serif;font-size:13px">Roman Gonzalez. --94eb2c09daf047f0d60535375075--