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 B92AC7FE36 for ; Fri, 1 Jul 2016 04:12:16 +0200 (CEST) IronPort-PHdr: 9a23:4jYewBWcxtLVYdNyGGkGp6sInDPV8LGtZVwlr6E/grcLSJyIuqrYZhyDt8tkgFKBZ4jH8fUM07OQ6PG4HzVQqsve+Fk5M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLshrj0os2YPloArQH+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEHxyOGkw4IjvtALfZQqJ/HoVFGsMxElyDhDB/S39C5PwtCfhu/tV0y6fJcrtTKw1XjLk5qM4ZgXvjXIjNjg162zGwu9tlK9B6EagrBJnhZbJaoWUP/tib4vSetQVQWdEV8dVESdGB9XvPMM0E+MdMLMA/MHGrFwUoE7mCA== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=icfp.publicity@googlemail.com; spf=Pass smtp.mailfrom=icfp.publicity@googlemail.com; spf=None smtp.helo=postmaster@mail-it0-f66.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of icfp.publicity@googlemail.com) identity=pra; client-ip=209.85.214.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of icfp.publicity@googlemail.com designates 209.85.214.66 as permitted sender) identity=mailfrom; client-ip=209.85.214.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="icfp.publicity@googlemail.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-it0-f66.google.com) identity=helo; client-ip=209.85.214.66; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="icfp.publicity@googlemail.com"; x-sender="postmaster@mail-it0-f66.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A4IQCK0HVXdELWVdFbg1w4fQakSQEGDQYBAQEBBoEPh0COCyKHIwc9DwEBAQEBAQEBEQEKCxQfMYIygjMLBh0BOQMSEA8CJgIjARIBBQEiEyKHcwEDFw6kFIIHgTE+MYs7hEQFgVyFAgpADYREAgYQcYRfhBODRoR+gloFjnSJYzSBMYRXhi6CC4FqToQIiGqIE4YzEh6BDzaBVQx4gVUcMolBAQEB X-IPAS-Result: A0A4IQCK0HVXdELWVdFbg1w4fQakSQEGDQYBAQEBBoEPh0COCyKHIwc9DwEBAQEBAQEBEQEKCxQfMYIygjMLBh0BOQMSEA8CJgIjARIBBQEiEyKHcwEDFw6kFIIHgTE+MYs7hEQFgVyFAgpADYREAgYQcYRfhBODRoR+gloFjnSJYzSBMYRXhi6CC4FqToQIiGqIE4YzEh6BDzaBVQx4gVUcMolBAQEB X-IronPort-AV: E=Sophos;i="5.26,555,1459807200"; d="scan'208";a="183399276" Received: from mail-it0-f66.google.com ([209.85.214.66]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Jul 2016 04:12:15 +0200 Received: by mail-it0-f66.google.com with SMTP id h190so816708ith.3 for ; Thu, 30 Jun 2016 19:12:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:reply-to:from:date:message-id:subject:to; bh=VE+gPcnKwrigU9ypAXoiaVp4J46LZFkKOYaEGL2lfLE=; b=xx64Wwm0amRqtAwmA19u7Hy+RwcOhhEXlpBP9JjwzMpqAPTaLOOkRqXIwbniTfk0z6 pKJKr5glSuV7Q7odxLQCav74BNiYGZCwuw3j2po9o2bUKJeh2tjI4GWuByGFj10x+Ted 5m+7oHT8b/1eV65Dg7Phz71nFEvy5VHfO4efBx4gP3Av0EmXOJ77lxZU5HEKz3/a2ItE 3xFfcHNXnuULwDpT9bc7BGutJDjQGDz9Z4mOWLejrLpGxB+iQRQ6peGxRVcStMyP3ZK3 tSZJZv5QM2LjKS1hesxCy0MLV6f2Hm/f65UkY1wZ50NDzvoB/TJc5zgoiLkuVxPriIzs 6k4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:reply-to:from:date:message-id :subject:to; bh=VE+gPcnKwrigU9ypAXoiaVp4J46LZFkKOYaEGL2lfLE=; b=XaOhRdjvGg4aKyJVpuzw8B7N7Ti+mkYhk96OZ39+y+Yo9HRsF3vQHlyzCF261OGxsn uezubATsjK4gD9MXu3SVYKgFUUVyr+lCDqaLsPqUCbjG86LGbn4z4ty8uhO6fiW543tB wCWcSxrCBTauBrr5pWIqknC8EO+8MrpBuxkTYll99Xn2RI6qCvhxvXVl3UHVx6nDjKHU KdaF5SLGgNl1vT0I8kxRiFMUju4EvRzxnLzySeJrOyd4eTchYMzFhVGqty177iAIG6jI 5FPtSeIQt9MXT2ueh+RqK8m+iKmzceqj3tC3IKK2ncaAD5jwAyeGCFgG0cYx/puPcQqs gdMg== X-Gm-Message-State: ALyK8tLp7Kfkdd0B1qjnCSjcsfMYx5mbPYfq8msQcoHzQ5bwyK25hGEHcpMC70IgoOoHzt+P934fIq1DZ/aVzQ== X-Received: by 10.36.71.143 with SMTP id t137mr17857807itb.0.1467339134168; Thu, 30 Jun 2016 19:12:14 -0700 (PDT) MIME-Version: 1.0 Received: by 10.64.235.145 with HTTP; Thu, 30 Jun 2016 19:12:13 -0700 (PDT) Reply-To: lindsey@composition.al From: Lindsey Kuper Date: Thu, 30 Jun 2016 19:12:13 -0700 Message-ID: To: caml-list Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] Deadline extended: Commercial Users of Functional Programming Call For Tutorials The 2016 Commercial Users of Functional Programming (CUFP) call for tutorials have passed the initial deadlines, but we have more seat for tutors. CUFP tutorial is a good opportunity if you have some idea you want to spread to the real world, say, your favorite programming language (Clojure, Erlang, F#, F*, Haskell, ML, OCaml, Scala, Scheme...), concepts (e.g. Lens, Liquid-Haskell, Proof Assistance, ...), applications (Web, high-performance computing, finance...,) tools and techniques (QuickCheck, Elm, ...), or theories. If you are interested, we kindly invite you to submit a proposal for the Call For Tutorials from here: http://cufp.org/2016/call-for-tutorials.html , before July 3rd. If you have any questions, please do not hesitate to contact us: Roman Gonzalez: roman@unbounce.com Takayuki Muranushi: muranushi@gmail.com best regards, Takayuki