From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver= Authentication-Results: plum; dmarc=none (p=none dis=none) header.from=ens-lyon.org Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=NAEFjgqH; dkim-atps=neutral Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id 46AF3B80123 for ; Thu, 6 Jun 2024 09:43:53 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=message-id:date:mime-version:from:to: content-transfer-encoding:subject:reply-to:sender:list-id: list-help:list-subscribe:list-unsubscribe:list-post: list-owner:list-archive; bh=JfWZY1h2S/DAzqiBBUigrBpwQde29yn6Fmn5sLTGRYU=; b=NAEFjgqH69b48fplDpGlDdKrR43ioxtJ47qlBZZi+3f3iPkLEtlNVq2D aEPazoTf57kpsPDwKdn7q7akfpQyxVCI/ZZLy3h7McYRqidbSwvc/OrEZ Y2mGZopgwIRIEgnURYk9tNn1XPOwyIRDf2Q7jQSuabSfm9K2vu4DksJ14 4=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.08,218,1712613600"; d="scan'208";a="169294013" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Jun 2024 10:43:52 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 92B03E0133; Thu, 6 Jun 2024 10:43:51 +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 BCE8EE0035; Thu, 6 Jun 2024 10:43:49 +0200 (CEST) IronPort-SDR: 666176c5_AQYjWS11wEBBwbM6z6DE78l+CIsqo00Cu0sS2Dvr2D4gKJD EJUnHYovRiWRCRZALeQi8UkMKxBEUdpFlFbv/bQ== X-IPAS-Result: =?us-ascii?q?A0E7BwC2dWFmjIqmTYxaHgENLwwOCwmBT4JEfFozBwhIh?= =?us-ascii?q?FaDT4EOjQ0Zk18IEYZjNYJlFIERA2IDAQMBDTkIAQIEAQEDAQOFUAWIDwIfB?= =?us-ascii?q?gEEMAkOAQIEAQEBAQMCAwEBAQEBAQgBAQUBAQECAQECBAYBAhABAQEBQBA1h?= =?us-ascii?q?XQLAoJKDAMDAYIOCTYCAQEBAQEBAQEBAR8CDXMsBhUzAkECJgJkAQwCAQFWg?= =?us-ascii?q?iYBgmQDEaFxjVsCgUaBMoEBhHvZNoFmBkFZLogxAYpjD4FVRIEVJ4ITPXGBQ?= =?us-ascii?q?YEJFwKBJoEHgw4WglMEgRFSD4J6iGNTiCpKgg08gSZ+AgYWVAgJCgQmgQ8mZ?= =?us-ascii?q?RlZg06BaSQCC4Jphz6BUXg0AVUTFws+CRYCFgMbFAQwDwkLJioGOQISDAYGB?= =?us-ascii?q?lk0CQQjAwgEA0IDIHERAwQaBAsHdSCBHIFpBBNEA4hLgl2DO4IdhBtLgQABg?= =?us-ascii?q?3CBawxhigSBQYFmVIMKWWMdQAIBC209NQkmBj1Gp1yECl8ZGBMdYU5ekyWRA?= =?us-ascii?q?KEiNAeEFgWBVwYMiiGLW4hKgQIGQoFQgjWNAIZBCJJrk2ySb5sUgUIjOoFcM?= =?us-ascii?q?xowgWEJgUBPHA9XlCjHaUI1OwIHCwEBAwmFRgEBgQCCWoFIAQE?= IronPort-PHdr: A9a23:f5etKhYziCqJUufTX6Ptbmf/LTEH2IqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1g6PB9SEoKsd16L/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajZb5+N gu6oAHTu8UZnIduN6k8wQbVr3VVfOhb2WxnKVWPkhjm4cu+4IBt+DlKtfI78M5AX6T6f6AmQ rFdET8rLWM76tD1uBfaVQeA6WcSXWsQkhpTHgjK9wr6UYvrsiv7reVyxi+XNtDrQL8uWDSi6 6BrSAL0iCoCKjU0/n3bhtB2galGpx2vugF/w5XMYI6LKPV+Yq3TfdQfRWVbX8ZRUTFKDoezY oYLCuYMO+FXr5T7p1QTrBu+HhWjBOfoyj9TmHD5wLAx3+AuHA3a2QAtGc8FvnbJo9XvLKocU u67w6bGwjvDcv1ZxTjz5ZPUch0ju/yAQa58fdTTxEQpCgjLjk+QqYvgPz6N1+oNrmmb7+5kV e21lm4nrh9+qSWzy8cojonGnIMVykvZ/ih+z4Y1ONy4SEp/YdG+DZtQsj+VO5FsTcMmR2Fno ic6yqYdtJGleigK040rxxrfavyAdYiE+BXjVPyeITphgn9uZb2wiQqo/0e61u38Ste70ExMr iddj9TAq3EA2RLR58WDSPZw8Fut1DWR2wzP9u1IP105mK7HJpI/zbA8i4cevErNEyL3lkj7j q2be0Ug9+ao9+nqbbPrrYKSOY9zjwHxKKUumsqnDOQ3MwgOQ2ib+fmn27H5/E35R7NHheA1n KnBqJ3WOMsWqrKjDwJX0Isv8QuzAjan3dgCgHUKIlFIdAqag4XnJ13COu30APe7jli2jjtmy fLLMqf/DpnRMHTOlqrqcKh5605B0woz0c5Q54hJBLEAIfP8RFf8uMDeAxQkKQK72fznB8941 o4GWWKAHKuZMKTKvF+T4eIvJfODZJMPtzrnNfcl4eXugWY9mV4deqmp24EbaHeiHvRpO0mZY HzsjckdEWoSowYzQ/DmhEeAXDNRfXq+QqMx6zAhBI67A4rORZihgLmb0ye6Gp1WaHpGCleJE XrwaouKR+oCZD6KL896jzILW6ShRpc52x+trAL11bxnLvHN9i0ctZPj09516/fUlREo+jx5F 8ud03yMT2FwmmMHXSI23KVhrkBn0FiD1ax4jOZZFdxI/P5GSQA6NYPaz+NmFd/+QBzOftGSS Fq/RtWnATYxTtQrz98JeUZ9FM2ujhbY0CWyGb8ai6SLBIAo8qLbx3X9Od5xy2za26k5k1kmX sxPOHW6iaFl8gjTA5fFk0GYl6axaaQRxzXN9WeGzWqWpk5USg9wUaPfXXAefETat9r55lnaQ 7+0FbsnKhdBydKFKqZSdtLpikxGSO7/N9TafmK+gHy9BQ2Ix7OJdIrlYX8R3CTbCEgekgAc5 2yKNQYkBnTpn2WLETpiFEnkZ0T3/OU7sn6wT1c1wgeWdB8phOmb4BkQ0NOBSvcX168BtW8Ir zF9HU31i93LCt6ErhdkceNVZdc04Uxv2GTC8ghsOZrmKLpt0A1NOz9rtl/jgk0kQr5LltIn+ SN7pOITAaeR0VcbMiidwYi1ILrcbG/74BGobafSnFDYytefvKkVu7wjs1u2mgavGwI59ml/l cFP2i6T+5TOCAMPVJ+3W0Iz/hlhj7zceWw59oTSk3p2Pvr8qSfMjuogH/Bt0RO8Z5FaOaKAG hX1FpghPfP2ffcRpkT8SDNRMeZJsaolOMXgcOGJjaG2PeJklS+jgCJO5IR001mk/S1hTOXFm ZsD2LSczwyBETDmgwTpqdj5zLhNfipaBW+j0W7kCYpWM7V1ZpoOAHyyLtef3dJ4joLkHXNe7 xunFlQAnsizdnJ+dnTb2gtdnQQSqH2jw26jyiBs1isupeyZ1TDPxOLrcFwGPHRKTS9slwWkJ 4/8lN0cUEWyCmph3BK4+Ub3wbRar6VjPiHSR0lPZS3/M2BlVOO5qLODZ8dF7J5gvz9QVaywZ lWTS7i1pBV/sWurEHZfwDQyajSn/Jz9mxV7k0qQKm02qGvef4d33xierN3QSPhN3yYXETFig GqyZBD0NN2o8NOI0pbb57niDyT+CdsKL3etlNjQ507ZrSVwDBaynu6+gIjiGAk+i2rg0sVyE D/Pp1D6a5Xq0KKzNaRmeFNpDRny8ZkfeMk2n40uiZUXwXVfiI+S+C9Nql3IaYBA4p/iOVwsE DMN2JvR8Q/jnkp5ISeG2oP9UnyAx8Ynbt2+a2IN8ig68sZBBeGZ6qcBmTpypBy/tw2bMp0f1 n8NjOAj7nIXmbRDtxcsyiGUH7UfW0BcOSXtjDyF6cv7qLRQYiCoa7f6hy8c1ZixSbqFpA9bQ nPwfJwvSDRx4stIO1XJyHTv64vgdbE8dPorvwaP21fFhulRctcqk+YSwDBgMiT7tGEkzOgyi Vpv24u7tc6JMTcl8KW8Cx9efjr7AqFbsgrXtv4Lhf2rw9WJP8BsHC5OWIrvS7SvCj1HuunmM wKHDTgx7H6fHbPeBieV71pgpH+JHpawcnWGI39fys9tIXvVbEBSmwEbWjwmk4VxT1zygpO+N h4nuHZIvQ6wowAE0u9yMhjjTmrT7BylbDs5Utn6TlIe7w1P4VvULd3L6+tyGy9C+Zjy5AeJK 2Gde0FJFTRQBhTCWA+lZ+fwo4Cbo7v9ZKL2NfbFbLSQpPYLUv6JwcjqyY5653OWMc7JOHB+D vo9004FXHZjGs2flS9cLk5f3y/LccOfow+xvyNtqcXqus/RY1q6/rCyF+50EIBi/QvzhbaEM aiXniksJitZ0pcF2HrFjrEb2FcTkAlkcCSrGrlGuCjWCabBnakRCAQUIXAWVoMA/+cn0w9BN NSOwOjP7eYtlcUIFwJjdAnsnNrsYd0NJSe6LlySC1uKMLCPODjGhcjzZaq9UpVai/hSvBD2t DCAVkvyOTLFkCPmHUPKU6kEnGSQOxpQv5u4exBmBD34Td7oXRa8Ncd+kTw8xbBnzmOPL2MXN iJwNl9ctrDFpz0Nme1xQiYSixgtZfnBgSuS6PPUb4oboec+SDohjPpUuTwzmaBS6ihYTbp4n jCXqs9ppRehiObHzyo1WwBPsSpCmcSMp0oHW+2RoZBEXTysEAsl1WyLEFxKotJkDoeqoKVM0 p3Vk6m1Lj5e8tXS9M9aBs7OKcvBPmBzeRbuHTfVCkMCQ1vJfSnHgFdBlfiJ6nCPhoM9rJHwk dwDTKQeUE0yELUdEEstENEZIZhxVy8pivbC0JZOuiX49UePApwB7tjOTZfwSb33JSycjKVYa hdA2r7+IYkJd8X610FkdlhmjdHKFk7XDphGpixsaBNxoV0YqSQmCDJsnRu7NEX0uy9AcJz81 gQ7gQZ/f+k3oTLl4lNtY0HPuDN1ik4639PsnTGWdjf1aqa2R4BfTSTu5C1Tetv2RRh4aQqqk AlqLjDBEvhqtYA4IHtQtROJn7oaFPhHCKlVZxlWwuuYMvo10FBYoziiyAlO4e/MCIBKngw3d 5Wh6X9GwEdnfdkzY6vKK+AaqzoYzrLLpSKu2u0rlUUGIF0R9WqJZCMSkFcPMLA6Lmyl+Pcp7 R2FnX1EYmdGBJ9I6rp6s0g6PeqH1Sfp1bVOf1uwO+KoJKSco2HclMSMTwB4xgYSmkJC57Qzz dY7fh/eSRU01LXIXUdsV4KKOURPYsFV7nSWYSuerbCH38duJ4vkXumgCOaKsOx8aqOMBwEvF pgFqMkHBdyowUbea8D9I+xcof3IzAntPxCBHfNPPhWRn2VfyylQ5JVwwI9WK3cQB344NTSw4 PDQvAB42ZK+ IronPort-Data: A9a23:Rl5auqlQuSI+R7mrzN7brM/o5gw6IkRdPkR7XQ2eYbSJt1+Wr1Gzt xJLUW6BOKyDNjajc9pwaI6woRgGupWDzoRiQVZu/H1mFltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyajJ8B56r8ks14Kys4G1B5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1yS1oLJZFfvd9OKkpo9 v47MBoRVii60rfeLLKTEoGAh+w4K8/iIIpZt3d7iDXICvBgRorMK0nIzYYEhHFv2YYXQ6iYP pFJAdZsREyojxlnAW0sUMclp9q001/eJjBesxeRtK0xpW/Jw1l+zbnpNNPIf9HMTMFRl0eDj mjB4mLyD1cXMsfazSuC9DSrnOCncSbTAdxDTuzjp6I66LGV7lEfCwE1bWSGm/Dngxa5Y+lSM EY5oxN7+MDe82TwE4WjBEXpyJKehTYXUt9UVuk78x2l0bvR+w/fB24eTzcHZsZOnMQxXHkh0 kKDt8j4ACRm9ryTU3OUsLmOxQ5eIgAOKmkLeSZCQA0ept3yp4d1iQjAJjp+LEKrpsGyAgzo3 3fNlREVrJMQj+0T/bmDxWmS1lpAuaP1ZgIy4wzWWEes4QV4eJOpauSUBb7ztqkowGGxEgPpg ZQUp/Vy+tziGrmjrkSwrAglB7av7uqMdjDamhtrDp4nsTO39BZPnLy8AhkjeS+F0e5dJ1cFh XM/XysLuve/21PwPMdKj3qZUZhC8EQZPY2NugroRtRPeINtUwSM4TtjY0Wdt0i0zxFzz/hlY 8jELJjwZZr/NUiB5GHpLwv6+eNxrh3SOUuKLXwG50r5iebODJJrYe5dbDNikdzVHIvf/VmLq I4OXyd74xhUV+nzKi/Q64saKV1CNmUjCIr3ptFNe6aPL0JiCWYnQ/LJ2rg5E7GJbIwJ/tokC kqVAxcCoHKm3C2vFOl/Qiw7AF8Zdcol/C1T0O1FFQrA5kXPlq71svxGLMtvIOF6nAGhpNYtJ 8Q4lwy7KqwnYlz6F/41NPERdaQzJEr5thHEJCe/fjk0crhpQgGDqJeufRLi+GNKRmC7vNc36 e/onA7KY4sxdyI7BubvadWr0wyQu1oZk7lMREfmGIRYV3jt14lIEBbPqMELDfsCEyie+QvC5 T2qWU8ZgcLvv74K9ML4gPHYjoWxTMp7MEloP0jayreUNCOBwHeSm7JdYtnVbxTiRD7+ovm/b 753ydD9L/w1s1JYuKVsE7tQ7Pwf5vm+g5R43whbDHHwQFDzMYxZI16Cxthpiq1B4pR7qDmGc BuD1fcCMIrYJf6/NkAaITQUS9iq1NYWq2H01us0KkCr3x1H1uOLfmsKNibdlREHCqV+Nb4k5 uITuMQ2zQiboThyO/akihFkzUi9HkYiYY4G6K5DWJTKjzA1wG5seZbfUy/6wK+eYuV2b3UFH GWmu7rgtZ99mGz5bHsBJVrc17F8hLMPmixw4n0sGlCroufB19gLhEB/0DJvVQlE7AR148QqM EhRCkBFD6Gv/TBpuct9Y16RCzxxXB20x0ig5GYKxUv4TlapXFPjNGcSG/iA12FH/nN+fgp0x qC5ymHkYwm3buXOznY4AxJ4oafBS/1w6Qzwt8S1FOuVH5QBQGTEg43/QUEquhfYEccKq0mfn tZT/cF0crzdCS4ch4YZGruq/+0cZz7cLVMTXMw72r0CGF/tXQ2b2B+MGhiXQdxMLfmbyn2II ZViCewXXivvyRvUiC4QAJMNBLpGnPQJwt4mUZGzLE4kt4qvlBZYgKjyxAPf2lByG85PlPwjI Lz/bziBS2ycpUVFkl/38fVrBDCKXskmVibdgsaO7+Q7J7ASurpNcGYz8IeOkVe7DQ9Fxy+Q7 ST/P/L47uo60ol9vZreIoMaDSWOFN7DfuCp8geyjtdwUe3yIfr+7wM7lnS3PiB9H6cgZNBsp LHc7P/1xBzkuZg1YUD4mr6ANbtDv5iyUMV6L/DIcWt+ojvfUpWw/hFY2WaZKINIovxZ9MKIV wu1U+ruVN83CvN25mxZVDhaKDkZU5/IV6bHoTivitixET0f7FD3F8ym/nrXcm1rTC8EFJngA AvSufz1xNRngKlTJR0DXddKPoRZJQL9ZK4YaNHBjzmUIW22iFekuLG5tx4B6ynOO0aUAvTB/ pPJaRjvRiuc4JiS4olijLVzmRkLAFJWo+o6JBsd8uErrQGKNjcNKOBFPKgWDp1RrDfJ66j5Q zPwd0onNzT2WGVVUBf74em7ZDylOM41Bo7bKAAqrmSuUAXnNLPYVfElvm1l7mxtczTu8PC/J JtMsjfsNxy22ddySfxV+vW/hvx9y+jHwm4Tv3rwiNH2Hw1UFIBiOKaNx+aRfXev/wDxeET3y awdXmdCSV2yD0P3CoNkanlTXhYDs1sDCh02ODyXzo+3V5qzlYV9JD/XYokfEYHvqOwAI6MIT n6xSm2WpmSH3XpVvrEm0z7sqbEhEuqFR6BWM4e6LTD/XMiMBqAPMsUZ2C4eS8dk/xRQe78Ye v9A/FBmbHm4xIttNHF6BOnHF1+dkp7BMt0RsDPCmA== IronPort-HdrOrdr: A9a23:vvT0XqxVCNq2wsVPMfHGKrPwMr1zdoMgy1knxilNoHtuHPBw9v rDoBx4vSWftN9/YgBDpTntAsm9qBDnmqKdg7NhWItKNTOO0ADEEGgI1+rfKlPbak7DytI= X-Talos-CUID: 9a23:L13zsG5Db3hYgQHLo9ss6AkPJ9g5NTrk9Vz7BUy6Kn5DVIWtcArF X-Talos-MUID: =?us-ascii?q?9a23=3A7sSYWA3ld1097Zs2NXPsN1KtBTUj3qitFGM1rqg?= =?us-ascii?q?8speNbStIADqGhhnue9py?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.08,218,1712613600"; d="scan'208";a="169293948" X-MGA-submission: =?us-ascii?q?MDH/8esx0K8likolVjRBm4lxPxOX2TOoCpoynk?= =?us-ascii?q?yKv/bc4kRnrTT509HcZuk3L39846W3+hTL8YaEwSjk/TgM45VO9g18r2?= =?us-ascii?q?9bAsyr+QjX5h4naTv4bN48zXWODDmzUPoSGogK3iWKWQ6lrqidFNRPVL?= =?us-ascii?q?iQIubUq7qmqbQfAc4CMXrNlQ=3D=3D?= Received: from sonata.ens-lyon.org ([140.77.166.138]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 06 Jun 2024 10:43:49 +0200 Received: from localhost (localhost [127.0.0.1]) by sonata.ens-lyon.org (Postfix) with ESMTP id E7A2DA02D2; Thu, 6 Jun 2024 10:43:48 +0200 (CEST) Received: from sonata.ens-lyon.org ([127.0.0.1]) by localhost (sonata.ens-lyon.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id u64MeEV6XC7j; Thu, 6 Jun 2024 10:43:48 +0200 (CEST) Received: from [10.12.110.199] (unknown [130.159.237.202]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by sonata.ens-lyon.org (Postfix) with ESMTPSA id 542D3A02D0; Thu, 6 Jun 2024 10:43:48 +0200 (CEST) Message-ID: <1771da2b-b29a-44bb-96b8-0f1e49106c18@ens-lyon.org> Date: Thu, 6 Jun 2024 09:43:03 +0100 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird From: Guillaume Allais Content-Language: en-US To: undisclosed-recipients: ; Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Subject: [Caml-list] Call for Participation: Scottish PL & Verification Summer School Reply-To: Guillaume Allais X-Loop: caml-list@inria.fr X-Sequence: 19141 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: ================================================================== Scottish Programming Languages and Verification Summer School 2024 Monday 29th July -- Friday 2nd August 2024 University of Strathclyde, Glasgow https://scottish-pl-institute.github.io/splv/2024-strathclyde ================================================================== Dear all; Scotland is internationally renowned for its leading expertise in programming language design, implementation, and formal verification. Since 2019, the Scottish Programming Languages and Verification Summer School (SPLV) has provided local and international students with foundational and advanced learning on topics in programming languages and verification research. We are pleased to announce that registration for SPLV 2024 is open. The registration deadline is Sunday 14 July, 2024. If you would like to be a student at this school, please see our website for more information, including how to register: https://scottish-pl-institute.github.io/splv/2024-strathclyde We kindly acknowledge the support from the following sponsors: SICSA & Well-Typed & Tweag (Bronze Level) Invited Course: Lindsey Kuper (University of California Santa Cruz) A few ideas from distributed systems for PL folk Core Courses: Conor McBride (University of Strathclyde) Type Theory Chris Heunen (University of Edinburgh) Category Theory Specialised Courses: Bob Atkey (University of Strathclyde) Type Theory and Implicit Complexity Kathrin Stark (Heriot-Watt University) Mechanisation of Binders Vikraman Choudhury (University of Bologna) Category Theory for Semantics Andres Goens (University of Amsterdam) Protocol Verification Sam Lindley (University of Edinburgh) Effects and Handlers Jules Hedges (University of Strathclyde) Applied Category Theory See our website for course abstracts. We cannot wait to see everyone in July! Please feel free to forward this announcement onwards to those interested. Best regards, Guillaume Allais (for the Strathclyde SPLV 2024 organising committee) PS: if you have any questions, don't hesitate to contact the committee at CIS_splv2024@groups.strath.ac.uk