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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 8E33B7FA5E for ; Tue, 25 Apr 2017 08:46:30 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=marklrh@gmail.com; spf=Pass smtp.mailfrom=marklrh@gmail.com; spf=None smtp.helo=postmaster@mail-pg0-f45.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of marklrh@gmail.com) identity=pra; client-ip=74.125.83.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marklrh@gmail.com"; x-sender="marklrh@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of marklrh@gmail.com designates 74.125.83.45 as permitted sender) identity=mailfrom; client-ip=74.125.83.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marklrh@gmail.com"; x-sender="marklrh@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pg0-f45.google.com) identity=helo; client-ip=74.125.83.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="marklrh@gmail.com"; x-sender="postmaster@mail-pg0-f45.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AkkRSAR3BdOiI8O5VsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0fKfad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiD?= =?us-ascii?q?sIODE3/m/KicJ+kqVVrQm7qBBjxo7ZeoGVOOZgcq7bYNgURXBBXsFUVyFZHo28?= =?us-ascii?q?co0PD+obMuZeoIn2ul0ArRqjDgSrAePg0CVIhnzy3a0g0+QsCg7G3Ak6ENIPtH?= =?us-ascii?q?TYtsn6NKAXUe2syqTD0DvNb/RT2Tjn6YjIdAgsru2RXbJ+acrd004vFxnKjliW?= =?us-ascii?q?tIfrPCuV2/wPvmWU9eZsSPyjhm49pwxyrDWj3Mghh4nRio4Ly13I6Th1zYM0KN?= =?us-ascii?q?C3SEN2ZMKrHIVMuy2GMoZ7TcMvTH9mtSs/0LIJpIC0cSgPxZg63RHSb+KLfo2G?= =?us-ascii?q?7x3+VOucJTJ1i2x/d72khxu/91WrxPfmWcmuyllKqzJIktnSuXAJ0Bze8s2HRe?= =?us-ascii?q?F8/kelwDqPzw/T5v1dLUA6mqfWK4QtwrE3lpoUvkTDGjH5lF/qg6+Rc0Uo4umo?= =?us-ascii?q?6+L5bbX6vpKRNYB5hhvjPqgwmsGzG+c1PwYUU2WU+emwzLjj8lf4QLVOgP02iK?= =?us-ascii?q?7ZsJXCKMQevKG5GQxV0oI56xa/FDqm39EYkmMGLFJBYh6Ik4/pO1TWLPDiEfi/?= =?us-ascii?q?m0iskCtsx/3eIrLuGJDNLnzanLflfLZ98FJcxREozdFf4pJUEqsOLOjyWk/3rt?= =?us-ascii?q?zYDwU2Pxa6w+b9W51B0dYVUGeLR6uYK7+a5VSB4+ZqJ+iXeKcUviz8Ir4r/ai9?= =?us-ascii?q?o2U+nAonYK+p1J0YIFS5VqBjKl+aZWDsqtgEGGYO+AE5Sbq52xW5TTdPaiPqDO?= =?us-ascii?q?oH7TYhBdf+AA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C4BgCA7/5Yhi1TfUpbHAEBFgEBBQEBC?= =?us-ascii?q?gEBFgEBBQEBgleBJoEMnjQBBQEHFYENiROHIYU1gg8OHooRPxgBAQEBAQEBAQE?= =?us-ascii?q?BARIBAQEICwsIKC+CMyCCZiMBGwwSAxIQXhEBBQEiihYBAwgNAQ2bBYNFP44JB?= =?us-ascii?q?QEcgwkFg1oKGScNVkeCQgEKAQEBAQEBGQIGCQEIhXuCIyuEKoVnDFyCMQWRDoU?= =?us-ascii?q?7hmYShxeLb4JViBCGco9cgnUzgRUfgT5jFVUBBoIWKYIeBIFuIVWJNgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0C4BgCA7/5Yhi1TfUpbHAEBFgEBBQEBCgEBFgEBBQEBgle?= =?us-ascii?q?BJoEMnjQBBQEHFYENiROHIYU1gg8OHooRPxgBAQEBAQEBAQEBARIBAQEICwsIK?= =?us-ascii?q?C+CMyCCZiMBGwwSAxIQXhEBBQEiihYBAwgNAQ2bBYNFP44JBQEcgwkFg1oKGSc?= =?us-ascii?q?NVkeCQgEKAQEBAQEBGQIGCQEIhXuCIyuEKoVnDFyCMQWRDoU7hmYShxeLb4JVi?= =?us-ascii?q?BCGco9cgnUzgRUfgT5jFVUBBoIWKYIeBIFuIVWJNgEBAQ?= X-IronPort-AV: E=Sophos;i="5.37,248,1488841200"; d="scan'208,217";a="221401719" Received: from mail-pg0-f45.google.com ([74.125.83.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Apr 2017 08:46:29 +0200 Received: by mail-pg0-f45.google.com with SMTP id 72so23714403pge.2 for ; Mon, 24 Apr 2017 23:46:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:mime-version:date:subject:message-id:to; bh=fiE1o1PyVx2HqFUKD7BvnzeDZEmdb72umyDlS2PYSZQ=; b=Yv+J5Oy0pqb0YD+XiTqRGrxDuJFsl+rG1nXrZjVqruZKEMp5YJLMtMXwPc0yeFu9o9 TW+RI2n9S8HKG4ndIumyDS5O4NUBj06K5lmy5RUUuQajfm2pOx/bAeXY+YdLpOQMfFOF /ZwuoLwCAM/il42urmHeTrd7ZPNQ74Z0AZ3qz70HTeIdj5jcdcfHCp924dcxs88H6bYX U5W/5A2VCdjgl5GHMO+riGEQ78CwO0jfdRLA7f4QfF+ToZp10yw6cm8qvBcu1YTBnqkM i++50+UYX5qOoKHvZMVA6qgs6HVb3AEY0NV72nx84KjoakMdkQmpCe+3SquoSzJ3pRn4 op5A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:mime-version:date:subject:message-id:to; bh=fiE1o1PyVx2HqFUKD7BvnzeDZEmdb72umyDlS2PYSZQ=; b=r9w+0B+v48QCF4N54u/nz4gI/8b0q7xAXZEzWPxIbdjIjU+drrHf3s/WYY2IPJm6Zk WDFiHmIqA6F8cQL9x9JaapLaQdTw48iy14uAMUBgOHEdwfrZTYdp9lKKJtUlSRBLaV1B o8sz2VXNTjKIAbCvVR6lrK7BkM2gr7GzBLYmh43HAKfOD1EkwPF/ZaDRoktMbhA97T/m bQUo7FF3Jrm2XFDXuzjZxHyH/0m4JgsAiJFcRjBNJklT3HHf+0V6V0Egmk97/kVZySK+ FDZO2YHTXk1cRuZSjIHqopFk5CBe9R1gKyysaFXqfMJPfNlaJBJnHQfkX2nvW/Faw4vB 5FCg== X-Gm-Message-State: AN3rC/60IalwGss5heeQoJaCZjFtBvaOH2gEHnkIKqpkblwwj4Q3zv5Q 2gLvxaJFuPdfOFZohb4= X-Received: by 10.98.219.197 with SMTP id f188mr27868448pfg.109.1493102785277; Mon, 24 Apr 2017 23:46:25 -0700 (PDT) Received: from ?IPv6:2601:645:c200:45e3:ade5:1a92:3d59:eab5? ([2601:645:c200:45e3:ade5:1a92:3d59:eab5]) by smtp.gmail.com with ESMTPSA id v62sm11223195pfv.44.2017.04.24.23.46.24 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 24 Apr 2017 23:46:24 -0700 (PDT) From: Runhang Li Content-Type: multipart/alternative; boundary="Apple-Mail=_CD20B705-4F4D-4F60-8F09-73DCF5DB7109" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Mon, 24 Apr 2017 23:46:23 -0700 Message-Id: To: caml-list X-Mailer: Apple Mail (2.3273) Subject: [Caml-list] CUFP 2017 Call for Tutorials --Apple-Mail=_CD20B705-4F4D-4F60-8F09-73DCF5DB7109 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Call for tutorials =20=20=20=20=20=20=20=20=20=20=20 Commercial Users of Functional Programming (CUFP) 2017 =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20 September 7th-9th, 2017, Oxford, United Kingdom Co-located with International Conference on Functional Programming (ICF= P) =20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20= =20 Dear fellow camels, Commercial Users of Functional Programming (CUFP) 2017 is now seeking tutorials proposals. Co-located with International Conference on Functional Programming (ICFP), Commercial Users of Functional Programming (CUFP) will take place in Oxford= , U.K. from 7th to 9th of September, 2017. CUFP is devoted to showcase the state of the art of functional programming in industrial settings. We are looking for tutors who would like to host half-day tutorial sessions of the following topics: * Introductions to functional programming languages, e.g., Haskell, OCaml, Scala, F#, Scheme, Erlang, Clojure. * Advanced programming languages, concepts, or applications, e.g., Agda, Id= ris, F*, Coq, Eff. * Applications of functional languages in particular areas, including web, high-performance computing, and finance. * Tools and techniques supporting state of the art functional programming, = e.g., ReasonML, TypeScript, Elm, QuickCheck, FlowType. * Theory. Type theory, category theory, abstract algebra, ongoing or new research, or anything useful or interesting to functional programmers. **Proposal submission deadline is May 25th** Details can be found at: http://cufp.org/2017/call-for-tutorials.html Kindly, Runhang Li, CUFP 2017 tutorials co-chair= --Apple-Mail=_CD20B705-4F4D-4F60-8F09-73DCF5DB7109 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii
           = ;                 Call for tutorial= s
  &nbs= p;        
           Commercial Users= of Functional Programming (CUFP) 2017
              =        
               Septe= mber 7th-9th, 2017, Oxford, United Kingdom

<= font face=3D"Courier" class=3D"">    Co-located with Internationa= l Conference on Functional Programming (ICFP)
<= font face=3D"Courier" class=3D"">            =               

Dear fellow camels,

Commercial Users of Functional Programming (CUFP) 2017 is now= seeking
tuto= rials proposals.

Co-located with International Conference on Functional Programming= (ICFP),
Comm= ercial Users of Functional Programming (CUFP) will take place in Oxford, U.= K.
from 7th t= o 9th of September, 2017. CUFP is devoted to showcase the state of
the art of functional= programming in industrial settings.

We are looking for tutors who would like to host= half-day tutorial sessions
of the following topics:

* Introductions to functional programming lan= guages, e.g., Haskell, OCaml,
  Scala, F#, Scheme, Erlang, Clojure.
* Advanced programming langu= ages, concepts, or applications, e.g., Agda, Idris,
  F*, Coq, Eff.
* Applications of functiona= l languages in particular areas, including web,
  high-performance computing, and f= inance.
* Too= ls and techniques supporting state of the art functional programming, e.g.,=
  Reaso= nML, TypeScript, Elm, QuickCheck, FlowType.
* Theory. Type theory, category theory, abst= ract algebra, ongoing or new
  research, or anything useful or interesting to funct= ional programmers.

**Proposal submission deadline is May 25th**



Kindly,
Runhang Li, CUFP 2017 tutorials co-chair= --Apple-Mail=_CD20B705-4F4D-4F60-8F09-73DCF5DB7109--