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 5E5A95D4 for ; Wed, 15 May 2019 14:03:24 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,472,1549926000"; d="scan'208";a="383304192" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 May 2019 16:03:22 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E6E41826BB; Wed, 15 May 2019 16:03:22 +0200 (CEST) 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 C4AA37ED69 for ; Wed, 15 May 2019 16:03:18 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-it1-f177.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ArLkwpxI0yGeJIZJpcNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRIv3xwZ3uMQTl6Ol3ixeRBMOHsqsC2rqd7PqocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSexbal2IRi1ognctNcaipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2UxLjlj?= =?us-ascii?q?sJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ3dKUMRMWCxbGo6z?= =?us-ascii?q?YIsBAeQCM+hFsYfyu1QAoACiBQm1Hu7j1iNEimP00KA8zu8vERvG3AslH98WtH?= =?us-ascii?q?rbss/1O7kXUeG10aLHzy/Mb/dS2Tf68IjDbxcsoPGWUrJ0dcrRzlEvGhjKjlWV?= =?us-ascii?q?s4PlPjeV2v4RvGic6uptTOSigHMppQF2pzig3MYsio/Ri40J0F/E8D91z5wpKt?= =?us-ascii?q?GiVU57YtipG4ZTuSGCL4Z6XN8uTmVytCs5yrAKo4O3cSkLxZg92hLSaf6Kfo6V?= =?us-ascii?q?6Rz5TumROy13hHd9dbK/mRmy9U+gx/X5Vsau0VZKqjNJktjQtnwQzhDT5NWLR/?= =?us-ascii?q?l/80u71jaP0AfT6u5AIU8qj6bUN5khwrsompoSt0TMADP2lV3ogKOKckgo4Oul?= =?us-ascii?q?5uT9brn7p5KRNpV4hhz8P6ksgsC/BP43MgkKX2iV4+S807jj8FX5QbpQiv02lq?= =?us-ascii?q?7ZsIjBKMQUo662GQ5V0oI55xmjCDem1cwUnWMbI1JdZBKHk4/pNknSL//iCPe/?= =?us-ascii?q?h02gkDNqx/DdIr3sGY7NL3jGkLf5Z7lx8U9cyAwpzdBe/Z1YEL8BIOigEnP24f?= =?us-ascii?q?fRCxtxFw2v366zA9x40sYaWHmTKq6fKqLb91GSsLEBOe6JMa0Yojv4OrAU7vrq?= =?us-ascii?q?imdxzU4Uea2uxbMYbXm5GrJtJEDPMimkucsIDWpf5ll2d+ftklDXFGcLPy/vDZ?= =?us-ascii?q?J53SkyDcedNamGRo2ph+bfjiKyH5kTZ3wfT17VTiiueIKDVPMBLimVJ505y21W?= =?us-ascii?q?Zf2aU4YkkCqWmkr/wrtjIPDT/3RB553m3dlxoebUkENrrGAmP4Gmy2iIClpMsC?= =?us-ascii?q?YQXTZvhfJwpEV8zhGI1q0q2/E=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B9AgBrG9xcf7GmVdFkg36BE1EzKIQRg?= =?us-ascii?q?3uPC4xRkAoJAQMBDCMMAQGGbRsHAQQ0EwEDAQEEAQECAQEDARMBAQkLCwgnJQy?= =?us-ascii?q?COikBgwoGHQEbGAYDEhAPAiYCJAERAQUBIhODI4FpAQMdD50pgx88ix2BEgUBF?= =?us-ascii?q?4J6BYEzAYMDChknDWCBOgIBBhJ5KItPF4F/gRGCJjxugQSBXQEChGqCWASLIY8?= =?us-ascii?q?ejDVlCYILggmQVRuCFIZMjQ6hVw8hgUWBeDMaCBsVbIIHATOBF4EQgQwBAoJIh?= =?us-ascii?q?3qCWAJBMAEBkG0BAQ?= X-IPAS-Result: =?us-ascii?q?A0B9AgBrG9xcf7GmVdFkg36BE1EzKIQRg3uPC4xRkAoJAQM?= =?us-ascii?q?BDCMMAQGGbRsHAQQ0EwEDAQEEAQECAQEDARMBAQkLCwgnJQyCOikBgwoGHQEbG?= =?us-ascii?q?AYDEhAPAiYCJAERAQUBIhODI4FpAQMdD50pgx88ix2BEgUBF4J6BYEzAYMDChk?= =?us-ascii?q?nDWCBOgIBBhJ5KItPF4F/gRGCJjxugQSBXQEChGqCWASLIY8ejDVlCYILggmQV?= =?us-ascii?q?RuCFIZMjQ6hVw8hgUWBeDMaCBsVbIIHATOBF4EQgQwBAoJIh3qCWAJBMAEBkG0?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.60,472,1549926000"; d="scan'208";a="383304162" X-MGA-submission: =?us-ascii?q?MDHsSlS01Q31ID0UEAPX9nbHNh1bTN642XX0qo?= =?us-ascii?q?zler3Y4E/4wo0mNExoyj6blIlrI8QWI76ey3c4i8H4eXaf9giolIXqpU?= =?us-ascii?q?08maj+rR2tAPwzxNpL7W4uFOa2jh5l6T4AbNqKz9iwDlVG8RU4hcOFYc?= =?us-ascii?q?rDaZEAZlhkL5ven6aJ9gIpRQ=3D=3D?= Received: from mail-it1-f177.google.com ([209.85.166.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 May 2019 16:03:17 +0200 Received: by mail-it1-f177.google.com with SMTP id m141so255747ita.3 for ; Wed, 15 May 2019 07:03:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=TOgMZf+TIbseZj4f+l4BSK2yqh5RW6GMtv2HX0S2k8E=; b=oS8AN56pVANwpwG/P1zOBQjfeHLVaTWBsWBsD+wKy71ISXAQDW6hmWxT9QyhkjKcBp j8sDFC8RsZuKshUOf9S/un50aQj8mx/mMuq2nohsNEUVHj/MSk3cYWKmgh5C0d2U35VP pRP5gBvVjsBjIbQ5B/t7cq0x0WqSyrkNOCCx/eFWMrX5n1Vyq8zod3fSSYeX/hhOBAaC 81T+KhAdlRtt3TLT0CfOtqfc3ahFtAzsBghQffwYlzTGBNiyItNbfs3qXVTw1V7csCzW uXQkyKNPkwKNZw3NTWpfjrPdE3xfnDLzDgS/lycM2pRPXv/izXWbvNgpDNZixXdAQ6eR WHWQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=TOgMZf+TIbseZj4f+l4BSK2yqh5RW6GMtv2HX0S2k8E=; b=g6j7N+ojSM/bT/btVGQ5JzftEQHoEIsaSdDY16JtjfOXZcwc83s8R1zMnefrQTvmff GZBwBUY3PbYcH3kaYHPzycGFOVcCXKM6KS9AWtHabeMibcgZ+6wFWKFQ8PF23gnt02Bt pG67C/k/klQMvesMWeiptifmgXNN/n6T/LczvicmspHjAO12A/z339WJzqGSPcmtIs41 a2NbfXDXX5MJWHkzQKKZ2mnYoJx5uHXBXHP/KD6D9ySpDKfsmkoPHQcU1hjx9Mag0dpl alZoPconRAMEIaWCnVZWp0TUGKywxN+oqtQz3wdkLyt7l0iI3ghVXHBrppRuLq2VlSuN 5dzQ== X-Gm-Message-State: APjAAAV0Pcs5mJqFHIgtAkNvdGVUTbIiskV/y5HwESjU7hJJcp0VSLFL oeOAhMZMKiRlCBEZ1/+fUQ54iSzs1fEyBeAFfZS/Xf5Y X-Google-Smtp-Source: APXvYqz+750Yq6XcCyE/GhN91b9B4JXWmnRB4Uil97EUtanPMatv2SYn2STJePR5yw64YHB2n6n4t/sGrZlcqpGIjrA= X-Received: by 2002:a24:284b:: with SMTP id h72mr7595080ith.72.1557928996303; Wed, 15 May 2019 07:03:16 -0700 (PDT) MIME-Version: 1.0 From: Jeremy Yallop Date: Wed, 15 May 2019 15:03:04 +0100 Message-ID: To: Caml List Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Metaprogramming Summer School (August 2019): call for applications Reply-To: Jeremy Yallop X-Loop: caml-list@inria.fr X-Sequence: 17552 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: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Second International Summer School on Metaprogramming Schloss Dagstuhl, Leibniz Center for Informatics, Germany 11th-16th August 2019 (the week before ICFP'19) https://www.cl.cam.ac.uk/events/metaprog/2019/ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Metaprogramming is an approach to constructing programs by treating program fragments (such as expressions or types) as values that the program can manipulate. Metaprogramming comes in various forms --- for example, * in dependently-typed programming terms appear within types, supporting the construction of precise specifications of functions and data. * in multi-stage programming expressions are program values, making it possible to write safe program generation programs that can significantly improve performance. * in languages with macros programs execute partly during compilation and partly at run-time, eliminating the sharp distinction between built-in and user-defined constructs. * embedded domain-specific languages reuse host language features such as syntax and type-checking for convenient definition of little languages suited to a particular endeavour. Metaprogramming has many applications, including genericity, proof automation, language extensibility and user-defined optimization. The goal of the summer school is to explore the state-of-the art in metaprogramming and its applications, covering both theory and practice. -------------------------------------------------------------------- Lecturers and courses Oleg Kiselyov (Tohoku University) From the tagless-final cookbook: simple hardware description language and optimization-by-evaluation Matthew Flatt (University of Utah) Building Languages with Racket Conor McBride (University of Strathclyde) TBD Jonathan Protzenko (Microsoft Research Redmond) Meta-F*: efficient meta-programming of the F* compiler at every stage -------------------------------------------------------------------- Prerequisites The school is aimed at graduate students in programming languages and related areas, but is open to researchers, practitioners and strong masters students with the support of a supervisor. Some experience of typed functional programming in Haskell, OCaml, Scala, or a similar language will be assumed. -------------------------------------------------------------------- Costs Thanks to the Schloss Dagstuhl subsidies, accommodation costs are as follows, and the dates are immediately before ICFP'19 (also in Germany): Single-occupancy accommodation: =E2=82=AC420 Double-occupancy accommodation: =E2=82=AC330 Accommodation costs include full board (in a single- or double-occupancy room, including meals during stay) from Sunday 11 August (evening) to Friday 16 August (afternoon). -------------------------------------------------------------------- Application procedure You will need to complete the online registration form at: https://www.cl.cam.ac.uk/events/metaprog/2019/application.html and ensure your referees send your references to: metaprog-2019@cl.cam.ac.uk by the application deadline. TIMETABLE * 30 June: Application and reference letters deadline. * 10 July: Notification of acceptance. * 11 August: Summer school. -------------------------------------------------------------------- Further information For any questions relating to the school, please contact the organisers (Jeremy Yallop, Ohad Kammar, Yukiyoshi Kameyama) at metaprog-2019@cl.cam.ac.uk