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 ESMTP id 3B7BE5D4 for ; Wed, 15 May 2019 14:13:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.60,472,1549926000"; d="scan'208";a="383306216" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 May 2019 16:13:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 55355826DF; Wed, 15 May 2019 16:13:36 +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 38BEA7ED69 for ; Wed, 15 May 2019 16:13:30 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=lists@raphaelss.com; spf=Pass smtp.mailfrom=lists@raphaelss.com; spf=Pass smtp.helo=postmaster@out1-smtp.messagingengine.com IronPort-PHdr: =?us-ascii?q?9a23=3AIkyOfhwdFSNsHFLXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OIeIJqq85mqBkHD//Il1AaPAdyCraMUwLWN+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhViDanZb5/Lxq6oAffu8ILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8qFmQwLqhi?= =?us-ascii?q?gaLT406GbZhcJ/g6xYoh2hqRJxzY7Kbo+IKPVwcbjQfc8DRWdbQspcTTZMD4G6?= =?us-ascii?q?YoASD+QBJ+FYr4zlqlcAsRWxHxGsBOP1xTBWgn/9wLA03P4nEQHa2wwgBNwCu2?= =?us-ascii?q?nTodXxNacSSvy1zLLTwDXZdfxWwTf955LWfRAluvGMRqh8ftbWyUkqDg7IiEib?= =?us-ascii?q?p4LiPzOQzOsNsm6b4vJ8Wu21jm4rsRt+rSS1yscxiYnEgJ8exFPc9ShhwYs4JM?= =?us-ascii?q?e0RFNmbdK5CpdduDuWO5V2T84kXmpmojw1yqcctp6+ZCUKyIooxxrYa/GfdIiI?= =?us-ascii?q?/w7jWPuILTdjgXJlZKq/iwy38Ue+0e38TdO70FlLripDndnDqHYN1xPS6siBVP?= =?us-ascii?q?Rx5Fuu2TGK1wzL6+FEJ147lbbDJpMgw7M8jIcfvVneEiPsl0j6lrGae0U89uit?= =?us-ascii?q?8evnY7HmppGGN49zjwHzKqAums2kAeQkKQgDRHKb9v6k1L3j50L2XrFKjuYtkq?= =?us-ascii?q?XDrJ/aIsEbqrajAwBJyoYj9wq/DzC+3dsEh3YHKVZFdAuDj4joIFHOPOv1Dey/?= =?us-ascii?q?glSpiDdk3erKPrznApXXL3jMiq3tfbhn60Na1QE+09Rf549PCrEdPv3zQFL/tN?= =?us-ascii?q?3ZDxAnKwG437WvNNIo3YobXSeLA7SFGKLUq16BoOw1cMeWY4pA8gz0M/gs6vqm?= =?us-ascii?q?tnY/hVgGN+H92ZoMdGuQBP1+I0yUZWH3xNwGFDFZ7UIFUOX2hQjaAnZobHGoUv?= =?us-ascii?q?dkv2xpOMedFY7GA7uVrvmB0SO8RcQEYX1aUxWXFGvwMYCJQOwFZyOULcJnnT0C?= =?us-ascii?q?WP6qTIpzjEj/5j+/8KJuK6/vwgNdsJvi0NZv4OiKyEMo/CR0BsmZyHrLRGZxzD?= =?us-ascii?q?pRG20GmZtnqEk48W+tlLBiiqUFR8Za//NAXwMhLtjXyOkoU90=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DjAgDCHdxchxkEb0JkHQEBBQEHBQGBZ?= =?us-ascii?q?QKBZYETUTMohBGIe4oLgWAIJZpOCQEDAQwjDAEBhEACgiscBgEENQUNAQMBAQQ?= =?us-ascii?q?BAQIBAQMBEwEBAQoLCQgpIwyCOiKCbwEFHQYdAQEyBg8LGAICJgICLCsZgyIBg?= =?us-ascii?q?goPq0BxgS+CeQEBBYEyAYEJhGoDBoELKAGGeIRWFz6BQYERJwyBczwwPoEEgV0?= =?us-ascii?q?BAoFggwqCWIslm1NlCQKCCVqRfiGCFIZMjQ6hZoFngXcfURU7LhpWgRoBM4EXe?= =?us-ascii?q?BgCHW0BAoJIh3qCWAM9AQIwAQGQbQEB?= X-IPAS-Result: =?us-ascii?q?A0DjAgDCHdxchxkEb0JkHQEBBQEHBQGBZQKBZYETUTMohBG?= =?us-ascii?q?Ie4oLgWAIJZpOCQEDAQwjDAEBhEACgiscBgEENQUNAQMBAQQBAQIBAQMBEwEBA?= =?us-ascii?q?QoLCQgpIwyCOiKCbwEFHQYdAQEyBg8LGAICJgICLCsZgyIBggoPq0BxgS+CeQE?= =?us-ascii?q?BBYEyAYEJhGoDBoELKAGGeIRWFz6BQYERJwyBczwwPoEEgV0BAoFggwqCWIslm?= =?us-ascii?q?1NlCQKCCVqRfiGCFIZMjQ6hZoFngXcfURU7LhpWgRoBM4EXeBgCHW0BAoJIh3q?= =?us-ascii?q?CWAM9AQIwAQGQbQEB?= X-IronPort-AV: E=Sophos;i="5.60,472,1549926000"; d="scan'208";a="383306198" X-MGA-submission: =?us-ascii?q?MDFrkTerjCCb41nJ4RF2hnqNWlQ+5KTq4gvkyU?= =?us-ascii?q?GhTpJMWolL7+5129eKhRf5slz61t0hz7kSQrQGzFy1W4UkH1U1DZMqwa?= =?us-ascii?q?EzUcqKjYsdlqPwKXIvGEykBRzVGwKGpcQNcU7ksrTTkfPBV1/zYiumpK?= =?us-ascii?q?rVimklAve1vvrchWCEYdpayQ=3D=3D?= Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 May 2019 16:13:29 +0200 Received: from compute2.internal (compute2.nyi.internal [10.202.2.42]) by mailout.nyi.internal (Postfix) with ESMTP id 87F2625A48 for ; Wed, 15 May 2019 10:13:27 -0400 (EDT) Received: from imap3 ([10.202.2.53]) by compute2.internal (MEProxy); Wed, 15 May 2019 10:13:27 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=raphaelss.com; h=mime-version:message-id:in-reply-to:references:date:from:to :subject:content-type:content-transfer-encoding; s=fm3; bh=MghX5 IMm4xjWBlcYTtxn2zt06P0oU+Ju3W2ejbZ4o0o=; b=MTCSVom4g6l6EWkr1ayN/ yPdU8M6L0diDskTv4L5BeeVNkod/OCgHi7PzXBncOZ9rrhanmQv5BwTRixrMWnbZ X3FahlJzHXM1nia4ycxM2BZFQG/gTneLsyQ4JvgEcwqhfTwH9gC1vvHmJePJuWOw /0lgLBJ9FNmRCQHQu55p8VjR55Yggm1kzTj8Q9E99OxoLdxPYgkjWLjAjfYFIy/B DJT8UUI/iHQsogULIVUKOvaVHbd18G4HoKp7k3hMYo0/hftLlMpXtGH+EZWF7HBH aQTxC7Qkg6aoqQJqXxO9VtqpfVcNe6l1kckbWXjpFb2FDVXXKooc5f8NDG00DQJw w== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-me-proxy:x-me-proxy:x-me-sender:x-me-sender :x-sasl-enc; s=fm2; bh=MghX5IMm4xjWBlcYTtxn2zt06P0oU+Ju3W2ejbZ4o 0o=; b=stsmNUQ8jPIQfAJZb9kbOicsVoaJcMUMIm/2TVMW+JO6yQnER0spQ1s7H lDTh3RePrJNTVX8Fr4Uegx79kQUjqTOzhxLjPZYFjXmC7G5892sA6yHmr72XvkLz RFIOk8bKgTEFT1xjnYjfymP38xAezRwRjDz74BY7tTVRc0xctpuNbfOkrIm9BmYX iavgoLZEycc8hjA2R8HwzFzpcP8oOjQsipT3ro7u0WWW7F3npSKIgFiLdqhxkaXy o+n0APzNDFFQsWuEbzuMX7tg2t2XB2J8afbixt12eyrTCzpZESv6QU7Jy8RNXmt8 doDRjBlfQTjYO3UgUyXHNnM09Y5+g== X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgeduuddrleekgdejhecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecunecujfgurhepofgfggfkjghffffhvffutgfgsehtqh ertderreejnecuhfhrohhmpedftfgrphhhrggvlhcuufgrnhhtohhsfdcuoehlihhsthhs sehrrghphhgrvghlshhsrdgtohhmqeenucffohhmrghinheptggrmhdrrggtrdhukhenuc frrghrrghmpehmrghilhhfrhhomheplhhishhtshesrhgrphhhrggvlhhsshdrtghomhen ucevlhhushhtvghrufhiiigvpedt X-ME-Proxy: Received: by mailuser.nyi.internal (Postfix, from userid 501) id 119007C3BB; Wed, 15 May 2019 10:13:27 -0400 (EDT) X-Mailer: MessagingEngine.com Webmail Interface User-Agent: Cyrus-JMAP/3.1.6-541-gda5ca9a-fmstable-20190515v2 Mime-Version: 1.0 Message-Id: <4209ec0f-f864-4951-bc99-1f7654850f22@www.fastmail.com> In-Reply-To: References: Date: Wed, 15 May 2019 16:13:26 +0200 From: "Raphael Santos" To: caml-list@inria.fr Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Metaprogramming Summer School (August 2019): call for applications Reply-To: "Raphael Santos" X-Loop: caml-list@inria.fr X-Sequence: 17553 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: Raphael Santoss On Wed, May 15, 2019, at 16:03, Jeremy Yallop wrote: > =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 >=20 > Schloss Dagstuhl, Leibniz Center for Informatics, Germany >=20 > 11th-16th August 2019 > (the week before ICFP'19) >=20 > 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 >=20 > 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, >=20 > * in dependently-typed programming terms appear within types, > supporting the construction of precise specifications of functions a= nd > data. >=20 > * in multi-stage programming expressions are program values, making it= > possible to write safe program generation programs that can > significantly improve performance. >=20 > * 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. >=20 > * 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. >=20 > Metaprogramming has many applications, including genericity, proof > automation, language extensibility and user-defined optimization. >=20 > The goal of the summer school is to explore the state-of-the art in > metaprogramming and its applications, covering both theory and > practice. >=20 > -------------------------------------------------------------------- > Lecturers and courses >=20 > Oleg Kiselyov (Tohoku University) > From the tagless-final cookbook: > simple hardware description language and optimization-by-evaluati= on >=20 > Matthew Flatt (University of Utah) > Building Languages with Racket >=20 > Conor McBride (University of Strathclyde) > TBD >=20 > Jonathan Protzenko (Microsoft Research Redmond) > Meta-F*: efficient meta-programming of the F* compiler at every stag= e >=20 > -------------------------------------------------------------------- > Prerequisites >=20 > 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. >=20 > -------------------------------------------------------------------- > Costs >=20 > Thanks to the Schloss Dagstuhl subsidies, accommodation costs are as > follows, and the dates are immediately before ICFP'19 (also in > Germany): >=20 > Single-occupancy accommodation: =E2=82=AC420 > Double-occupancy accommodation: =E2=82=AC330 >=20 > 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). >=20 > -------------------------------------------------------------------- > Application procedure >=20 > You will need to complete the online registration form at: >=20 > https://www.cl.cam.ac.uk/events/metaprog/2019/application.html >=20 > and ensure your referees send your references to: >=20 > metaprog-2019@cl.cam.ac.uk >=20 > by the application deadline. >=20 > TIMETABLE >=20 > * 30 June: Application and reference letters deadline. >=20 > * 10 July: Notification of acceptance. >=20 > * 11 August: Summer school. >=20 > -------------------------------------------------------------------- > Further information >=20 > For any questions relating to the school, please contact the > organisers (Jeremy Yallop, Ohad Kammar, Yukiyoshi Kameyama) at > metaprog-2019@cl.cam.ac.uk >