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 c5ff346549e7 (Postfix) with ESMTPS id 6CBF92DF6 for ; Thu, 28 Mar 2019 02:45:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,278,1549926000"; d="scan'208";a="376071763" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Mar 2019 03:45:27 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 71DE58266B; Thu, 28 Mar 2019 03:45:27 +0100 (CET) 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 0A8EC82603 for ; Thu, 28 Mar 2019 03:45:22 +0100 (CET) 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-it1-f174.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AXi8JeBADlunKJQFQK0Q3UyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT8rsbcNUDSrc9gkEXOFd2Cra4d06yG6Ou+ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagfb9+Nha7oAveusQXnYdpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLuhS?= =?us-ascii?q?waNTA27XvXh9RwgqxVvhyvpAFxzIHIb4+aL/d+YrrdcMkGSWZdQspcVSpMCZ68?= =?us-ascii?q?YYsVCOoBOP5VoZTnqFsLsBCwGw6sC/juyj9On3P436o63PghEQHdwAwvBc8BsG?= =?us-ascii?q?jJp9jyNacdTe61zLHSwTXbcvNZwjP96InUfRAgvfGNXal9ccXWyUkoGAPFikuf?= =?us-ascii?q?qYn/MDOU0uQBqXSU7+1lVe+2jWMstg9/oj+qxsg2i4nJgJoYykvF9SV22IY1Ic?= =?us-ascii?q?e3SEhhbd6jCptQuDmWN4pqTcMsW2FnpCE6yrsIuZGlZigF1pInyALBZPCddIiI?= =?us-ascii?q?+B3jWeCMKjl7nHJoYKyziwq2/ES6yeDxVtO43EtLoydEiNXAq3IA2hPL5sWGSf?= =?us-ascii?q?Zx5Eis1DaV2w3R9O1IO104mKXHJ5Mn37U+jIAcsV7ZES/zgEj2jLGZdkEj+uWw?= =?us-ascii?q?7uToeLTmppuFO491lgHyL70imsKiDek6PQUCRWeb+eO71L3s+U32Xq9GgeExkq?= =?us-ascii?q?ncqJzaJMIbqbClAwJNzIov9xKyAy2l3dkYh3ULMVNIdROdg4T0OVzDL+j0DfKl?= =?us-ascii?q?jFStlDdryerGPrrkApjVL3jMjLnhfa5n505E1Qo81tRf55NIBbEAPPLyWlT8tN?= =?us-ascii?q?PfDh8+PAy0x/joCNBn2YMfXWKDGLOWMKTXsVOQ/OIgP/GMZJMJuDb6M/Uq++Th?= =?us-ascii?q?jXo9mVMEeamp3IAXaGyjE/R9I0SZZGLsjc0bHWcLuAo+Vu3qh0eYXT5dfXbhF5?= =?us-ascii?q?47szoyDYbjCYbYWqishqaA1WG1BM54fGdDX2uFFD/UcI+FXbIsbymSOdNoniBM?= =?us-ascii?q?AbmqRZdnzQyksA7xyqZ2BuXT/SIcuJfq1dwz7OrWw0JhvQdoBtiQhjneB1p/mX?= =?us-ascii?q?kFEmdvjfJP5Hdlw1LG6pBWxvlRFNhd/fRMC1loOpnbwOh3DtnzXkTKedLbEQ/6?= =?us-ascii?q?EOXjOik4S5cK+/FLe1x0QovwgRfE0C6nBrYUk/qAA5lmqvuBjUi0HN50zjP97I?= =?us-ascii?q?dkj1QiRZERZ2ivh6o69hSKQoCQzBnfmKGteqARmiXK8TXbwA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ATAADNNJxcgK6mVdFkHAEBAQQBAQcEA?= =?us-ascii?q?QGBUQcBAQsBgWaBBgyBKoQOiBxfikdPAQEBBplxFIEQA1QNAQEjCYlwGgcBBDA?= =?us-ascii?q?JDQEBAwEBCQEDAQEBEwEBCQ0JCCclDII6IoMSBh0BJxIDEh8CJgI2AQUBNQgBg?= =?us-ascii?q?k5MgVwBAwgND55DPIsdgS+CeQWEQQpADYIXAgYJAQh5JAGLMYEPgQeBEYNQgQS?= =?us-ascii?q?DDQESAWyCPYJXA4oyEppnBwKCA4Vpi1saggOGAoMViHKRNY0xBgIJCA8hgSyBH?= =?us-ascii?q?XE0GSODPAmCARiDVoUUhVsjMwGBA4wzgj4BAQ?= X-IPAS-Result: =?us-ascii?q?A0ATAADNNJxcgK6mVdFkHAEBAQQBAQcEAQGBUQcBAQsBgWa?= =?us-ascii?q?BBgyBKoQOiBxfikdPAQEBBplxFIEQA1QNAQEjCYlwGgcBBDAJDQEBAwEBCQEDA?= =?us-ascii?q?QEBEwEBCQ0JCCclDII6IoMSBh0BJxIDEh8CJgI2AQUBNQgBgk5MgVwBAwgND55?= =?us-ascii?q?DPIsdgS+CeQWEQQpADYIXAgYJAQh5JAGLMYEPgQeBEYNQgQSDDQESAWyCPYJXA?= =?us-ascii?q?4oyEppnBwKCA4Vpi1saggOGAoMViHKRNY0xBgIJCA8hgSyBHXE0GSODPAmCARi?= =?us-ascii?q?DVoUUhVsjMwGBA4wzgj4BAQ?= X-IronPort-AV: E=Sophos;i="5.60,278,1549926000"; d="scan'208";a="300965580" X-MGA-submission: =?us-ascii?q?MDF/VJuogYQNJjqvk2h2J7z/9l1wqzT0NYD9Yg?= =?us-ascii?q?hR/232wCG6ksQIGIz4oWKrq3QFnvXIPtN+NIdKRCV+oKRS4AJlbsOEr7?= =?us-ascii?q?BJ8GU+ASGQIPf8iLudl2e8HuSalBFIyQHumPhBtfOOiF8bFxiHtk0EZA?= =?us-ascii?q?V+5G45lM3VVRyf+/kPLAIlTA=3D=3D?= Received: from mail-it1-f174.google.com ([209.85.166.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Mar 2019 03:44:59 +0100 Received: by mail-it1-f174.google.com with SMTP id u65so3682991itc.2 for ; Wed, 27 Mar 2019 19:44:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20161025; h=from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=sLiM+7FsuA5HB/O065kllwv/Zr2qj+R6n2p4vbH300E=; b=CkGupnrUfv/OGUFsGQtRQkM81TgJcUy1V1IXcPVhSZ1U1/Z737mCsR8r15c3L3DvBO CejacNbS9IKq2o2g8/PKfFmJjycTjCdEMkCBNSGAVT7td0tKocMSGployHgbe7v0IEQs XtZ6O4GLO3poflRPtwWkREKYn/KqXkNSqwQ9maMIFgg9ScS764+qEutqZ/Gk2A+WkYJj 1eZ2FYE4UE00q+EoMuYPR/eVti4nOWzsFtEVM2K76QbtxxLG4ySwh2Pu5UlrKQPrmdcY TYK6Yq4sOFE0pNDjNdyZGefmeEWD4ZpyJWhTKJvGuD/EFhxWt+SXWTwb8JJ/j7km0QkJ 58gA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:date:to:message-id:subject:mime-version :content-transfer-encoding; bh=sLiM+7FsuA5HB/O065kllwv/Zr2qj+R6n2p4vbH300E=; b=CZHUIf4TXDoRipcN4+PUt2+Zw287G9/aejLzaUUggAySQc31vU+hI4PxXf5aVOvE+7 NCC0WZfXzkVM7O7Slq4y6e/XeMjhEnUQ9sfiiRvy/jfYkRmYkXJYju6kiHXpHXfQERSf auDxyoVSSIX1gssyOkGbzkjneVrElTSf4DnfDEBwFUjYoaKaKtzp4BJ4QwOhTg/5Fyfc HJXqDu8nJUPpwvyFOEyTtyjCvmWNaiVYyUU7RvbrmT/aeMftkuFQkMoDPz4O2aLPBiY9 XQm89aHoUvP9qieWlSHChpn4l5N2xMdVTOauf570OK1njW+yfCr6/nn8senPwQ5lQ4pc 5n4Q== X-Gm-Message-State: APjAAAWHqeEyg2w1yMMAtb9BPwpK0SUA3xKztgKvYuypeQT9Sai8lNzo y7tfnmFCOxa90L5aECgoPPtKfHCU X-Google-Smtp-Source: APXvYqxGBTus+IX5jJnQtkXg6NQL/KPaoWChJ7+uow70Y6uW6f0By94DWwEFfWi8LZm1JWh9o0DK+w== X-Received: by 2002:a24:3682:: with SMTP id l124mr5858135itl.86.1553741097506; Wed, 27 Mar 2019 19:44:57 -0700 (PDT) Received: from icfp.publicity (c-68-45-72-140.hsd1.in.comcast.net. [68.45.72.140]) by smtp.gmail.com with ESMTPSA id 19sm1034094itm.6.2019.03.27.19.44.56 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 27 Mar 2019 19:44:56 -0700 (PDT) From: Sam Tobin-Hochstadt X-Google-Original-From: Sam Tobin-Hochstadt Date: Wed, 27 Mar 2019 22:44:56 -0400 To: caml-list@inria.fr Message-ID: <5c9c35289861e_79832ab973eda5c49917e@homer.mail> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Call for Tutorial Proposals: ICFP 2019 Reply-To: Sam Tobin-Hochstadt X-Loop: caml-list@inria.fr X-Sequence: 17438 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: CALL FOR TUTORIAL PROPOSALS=0D ICFP 2019=0D 24th ACM SIGPLAN International Conference on Functional Programming=0D =0D =0D August 18 - 23, 2019 =0D Berlin, Germany=0D https://icfp19.sigplan.org/=0D =0D The 24th ACM SIGPLAN International Conference on Functional Programming=0D= will be held in Berlin, Germany on August 18-23, 2019.=0D ICFP provides a forum for researchers and developers to hear about the =0D= latest work on the design, implementations, principles, and uses of =0D functional programming.=0D =0D Proposals are invited for tutorials, lasting approximately 3 hours each,=0D= to be presented during ICFP and its co-located workshops and other=0D events. These tutorials are the successor to the CUFP tutorials from=0D previous years, but we also welcome tutorials whose primary audience is=0D= researchers rather than practitioners. Tutorials may focus either on a=0D= concrete technology or on a theoretical or mathematical tool. Ideally,=0D= tutorials will have a concrete result, such as "Learn to do X with Y"=0D rather than "Learn language Y". =0D =0D Tutorials may occur after ICFP co-located with the associated =0D workshops, from August 22 till August 23. =0D =0D ----------------------------------------------------------------------=0D= =0D Submission details=0D Deadline for submission: May 10th, 2019=0D Notification of acceptance: May 17th, 2019=0D =0D Prospective organizers of tutorials are invited to submit a completed=0D tutorial proposal form in plain text format to the ICFP 2018 workshop=0D co-chairs (Jennifer Hackett and Christophe Scholliers), via email to=0D =0D icfp-workshops-2019@googlegroups.com=0D =0D by May 10th, 2019. Please note that this is a firm deadline.=0D =0D Organizers will be notified if their event proposal is accepted by=0D May 17, 2019.=0D =0D The proposal form is available at:=0D =0D http://www.icfpconference.org/icfp2019-files/icfp19-tutorials-form.txt=0D= =0D ----------------------------------------------------------------------=0D= =0D Selection committee=0D =0D The proposals will be evaluated by a committee comprising the=0D following members of the ICFP 2019 organizing committee.=0D =0D Tutorials Co-Chair: Jennifer Hackett (University of Nottingham)=0D= Tutorials Co-Chair: Christophe Scholliers (University of Ghent)=0D= General Chair: Derek Dreyer (MPI-SWS) =0D= Program Chair: Fran=C3=A7ois Pottier ( Inria, Fran= ce)=0D =0D =0D ----------------------------------------------------------------------=0D= =0D Further information=0D =0D Any queries should be addressed to the tutorial co-chairs (=0D Jennifer Hackett and Christophe Scholliers), via email to =0D icfp-workshops-2019@googlegroups.com=