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 631AE5D5 for ; Wed, 22 Jul 2020 15:36:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,383,1589234400"; d="scan'208,217";a="460869455" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jul 2020 17:36:35 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3A079E6AC2; Wed, 22 Jul 2020 17:36:35 +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 5618EE6AB9; Wed, 22 Jul 2020 17:36:30 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=komendantskaya@gmail.com; spf=Pass smtp.mailfrom=komendantskaya@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f68.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AbL3GKBwzDTI6qQTXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0uITLfad9pjvdHbS+e9qxAeQG9mCtbQY2qGJ7+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVhTexe7x/IRG5oQjTucQdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LpwRRT2lC?= =?us-ascii?q?kIKSI28GDPisxxkq1bpg6hpwdiyILQeY2ZKeZycr/Ycd4cQmVPQ9tRVzdZAoyi?= =?us-ascii?q?c4QPE+QPPeFdr4bnplsOqwa1CQ2jCe7rzzNFgHH53bc+0+88Dw/I2gIuFM8KvH?= =?us-ascii?q?jJsNn5MaEfWv23wqbV1zXOd/xZ1zfz5obLbx4vv+2DUKlqfsbN00QiDR/JgkmS?= =?us-ascii?q?pIHjIjib1v4Ns2+e7+d4WuyviHQoqx1vrTi1x8csjJPGjZ8QxFDD8CV23oA1Ks?= =?us-ascii?q?CiR059fd6kC5hQuDuaNoRsX8gvRGJouCE/yrIYv560YTIFyJI7xx7EaPyIaYiJ?= =?us-ascii?q?7Qj4WeaeJDd3nnNleLalixmu9kigz/TxW8+p21lFsiRLiMPDtmwR1xPN8MiHTO?= =?us-ascii?q?Nw80O81TuOyQze6+5KLEE6mKbGK5As374+m5kXvEnDESL6hET7gaCKe0gm+uWl?= =?us-ascii?q?5fnrbqnmq5OBOIF6hQHzPKsul8G5HO82PA8OX22B9uS90r3u5U35QbtQgvIsjq?= =?us-ascii?q?bVqo3aJccDqq6lAg9V1IYi5wyjADi61tkTgHoJLEpddR6Zk4TkP0vCLfP4APul?= =?us-ascii?q?nligjjRmy+rHM7DiBJjGM2LNn637fbln7k5R0Aozws5b55JTErwBJej8Wk71tN?= =?us-ascii?q?DBAB45NhG4z//pCNh81Y4SQ22PAqieMKPdtV+H+PgjLPWLZI8QoDr9Kv4l6ODy?= =?us-ascii?q?jXIhh1MRYa2k0YEUZX24BPhqPluVbHn2jtoAEmoGpg8+Q/briF2GXz5TfXGyX6?= =?us-ascii?q?ck6zE4D4KmCJnMRoawj7Ob2ie7AoZWZmNcBVGMC3jlbIqEW/IWZyKTJs9tiCAL?= =?us-ascii?q?Vb+kS4M5zxGhqBf6y6Z7LurT4iAXqYjs1N1x5+HKkREy9Cd0D9iG3mGWT2B0m3?= =?us-ascii?q?sISCUs0KB+p0x90FaD3rJij/xWD9xZ/+lJXRsiNZ7A0+x6DMj/VR7GfteQUVqp?= =?us-ascii?q?XtGmASwqQd8q2N8PY0N9G824gRzZ3iqqBaUVl72RC5Au/KLcxSu5G8Eo12fe2b?= =?us-ascii?q?Jki1g9XuNLNHa6nehk+gHIQZPRnkOf0aumaOBU3CfW92qHyS+FtU9VeA55SqbI?= =?us-ascii?q?WXRZYVHZ6Zzl91vPVJeqCK87KU1KyceGL6ZQcZvygBEOX+v7cIDFf3qZnm67Hl?= =?us-ascii?q?CI2fWFZ8z3eDNZlC7cAU9Bjhse522uPgw/HiOoqSTZFjMqXVnmZkek7PJzsmjz?= =?us-ascii?q?GkQ9ygXPa0x6y5K0/AQUjLqSUaVXlrkDoWIqryh+NFe7xdPfTdSa40Joc6lVSd?= =?us-ascii?q?c8+0tck2nZvgh4M4a7abtvwhYTaQB+uUyrzgh6EZlBls4xhH4wyAN0JuSfylwF?= =?us-ascii?q?Pxqi4tXbHZjyC1XO0T2Hb6/I10vG19GSvK4Eruk77x3ouESoDUMo/nFj3pxIyH?= =?us-ascii?q?aG/b3ODREOStT6W0Nx/hM8urKeKjU06KvJyXltKrWv9CLe1sIgH60oxgvkN91Y?= =?us-ascii?q?N7iYUQ70D8AACtOyAOgrgESyKBgDO/tOsqkuMIfuXuCd36WqNfphmzTug2NdqL?= =?us-ascii?q?ts10iL8yt3AsrP0JcOi6WRxQ+vST7nl1679M37hNYALToWE2O5jCzlH5J5faZz?= =?us-ascii?q?cIAABCG0PouxwpE2ioDgXWJw9VjlG05D08ugZAGOb1X5mwFdkQwPu3uo3C+xyT?= =?us-ascii?q?NcnzAqs+yT32iGyur5eREvM2BQSWIkhEz2Z4OylctcUlLsJxMknwa/5Frr76Zc?= =?us-ascii?q?v61zaW7JTgMAcCTsamBneqS8rP+DZohB8tdgvjkSTummYF7fUrPnphIc3iX/BE?= =?us-ascii?q?NRyCp+djTstI+91wBzh0qWNzBusHfJcNo2yBvCoJTEQfdX0yYFXgF7k3/QHFf4?= =?us-ascii?q?d9es/N6Pv5bFqOG3U3qsTdtda22jy5yYqG6642NtKRm+hOyo3NzgGk433Guzy9?= =?us-ascii?q?lnUj/ZqgrUZojwy7+3K/wheE5kDVy65sZnXsl3mY9qrJoLn2UGi4Wc5jwKnXq3?= =?us-ascii?q?ed5c3Ke7cHoAQiQa69/Y7QWj31dsajqWxqrwV3uXhNZnZpy5a3kSwTgg780MBK?= =?us-ascii?q?rQpL1PmTMwvV2irhnRZuBmtiwT1L0l4TpSh+YGuQFo1j+aDaobGExZOyPEkxWT?= =?us-ascii?q?88v4tKRcbXrqdbG22wx5h9/yIquFp1RxW3/ld40jGyY4zcJ6PVTA2Xvv8YLtad?= =?us-ascii?q?CYOdEUsxCSnx7Gk/NWIYM4vvUPjCtjf2n6uCt2mKYAkRVy0MTi78C8IGJ38ff8?= =?us-ascii?q?XkcBZ2/FIvgL8zSotp5w28Of3oShBJJkQ2xZU57hTPbuGzUX562+a1S+VQYko3?= =?us-ascii?q?LeIoLxWBeF4R4//X3KGpGvcXqQIStBlIgwdFymPEVaxTsscnA6k5o+TF34wcXg?= =?us-ascii?q?dAJm42lU6ACo7BRLze1sOl/0VWKN/Ao=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A7BgAJXBhff0SAVdFgDoNogTEBRFQzL?= =?us-ascii?q?IQzgRyCXpgnhHmDbIYugWkLAQMBDBgBBgoGBAEBhlwCHAcBBDQTAhABAQUBAQE?= =?us-ascii?q?CAQMDBAETAQEJCwsIJ4VlDII3KYMUBQEQER0BEwgeAxIDDTcCAiIBEQEFASIBE?= =?us-ascii?q?iKDBAGCSgEDLg+Reo8RgQQ9iyiBFQUBF4MCBYRXChkoDWWBNAIHEoEmhAKEbIQ?= =?us-ascii?q?EGoIAgUeBbjwCgz2BMhWDO4JgBI8/pg9NghqDCIVOkRAhgnuBH4ghkxaOC4N7i?= =?us-ascii?q?imUdw8jgUeBenCBAYI4CRYxGQ2RXTKHeoIeBTpDMAIYHQIGAQcBAQMJkCMBAQ?= X-IPAS-Result: =?us-ascii?q?A0A7BgAJXBhff0SAVdFgDoNogTEBRFQzLIQzgRyCXpgnhHm?= =?us-ascii?q?DbIYugWkLAQMBDBgBBgoGBAEBhlwCHAcBBDQTAhABAQUBAQECAQMDBAETAQEJC?= =?us-ascii?q?wsIJ4VlDII3KYMUBQEQER0BEwgeAxIDDTcCAiIBEQEFASIBEiKDBAGCSgEDLg+?= =?us-ascii?q?Reo8RgQQ9iyiBFQUBF4MCBYRXChkoDWWBNAIHEoEmhAKEbIQEGoIAgUeBbjwCg?= =?us-ascii?q?z2BMhWDO4JgBI8/pg9NghqDCIVOkRAhgnuBH4ghkxaOC4N7iimUdw8jgUeBenC?= =?us-ascii?q?BAYI4CRYxGQ2RXTKHeoIeBTpDMAIYHQIGAQcBAQMJkCMBAQ?= X-IronPort-AV: E=Sophos;i="5.75,383,1589234400"; d="scan'208,217";a="460869377" X-MGA-submission: =?us-ascii?q?MDEA7fW/DYfs5krFDiOespmAyrwMoaUyDFV7Q3?= =?us-ascii?q?OSX5vNW0Z7CsuS3hnOuzuWvIlL84J1+sqeY/48wicxR7wc6NITmVm+37?= =?us-ascii?q?CgFZfYNvjlSIWvlXGMNCgDI6tiXdH5BDvm466/wHqw3sDraQAWKPM/ZE?= =?us-ascii?q?PSD5eZ5brmSxyv1GL8FApieQ=3D=3D?= Received: from mail-wm1-f68.google.com ([209.85.128.68]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 22 Jul 2020 17:36:29 +0200 Received: by mail-wm1-f68.google.com with SMTP id c80so2339814wme.0; Wed, 22 Jul 2020 08:36:29 -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; bh=NHQuH7i6/ICCYwNOUyGokfZ8gULBDWo89iOWDEUkQ3M=; b=MRsm9sPwkaaY+xv6Pa3J+UGLvOAdXOwnLVJWfbygtdMVbfe4YleLIwd40EiX8gIjvi UDT/xliq7Z6147ImbnYYfcbFbOvvnkVj4SBNUvqJf0rq8YIYwDrpdY8TuAaRs2+at6Vp EOPxu8pNnVsZx5CWMQJVr19lbppMxUtkVisjAOqE/viWCbGbFjkWuWZT4R/xB1+Hijjq Uxz1+/UWquvj4SebEF0089aDDwBIAa/N7/B2xD8kTYMME5rP364PYFNQfM9dMaYhVQQO g2tKMpNEx0kRkR5cQJ8uGFkBStkDnCaLBG8SWOnlDRNk5a6E8tooLpw6zRGniK8aV5GV sznA== 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; bh=NHQuH7i6/ICCYwNOUyGokfZ8gULBDWo89iOWDEUkQ3M=; b=H1ZWj1xM7pIl7t6fg7723GtWPGc0wZ38Cgq5XkV6zV4EUHrNoR6rhbs/nkRGxZumWr gkaofcBneoyzhgjOqIV/PDZZfwbBZN9iR3UDinzzPc+i77SBvj1sqoziZ+5eauSRHCt9 iJDJ9ia6cGanqsKxg6koeS1VOdUWUKUNcRYacMaeR48RoTDiHV/ZqS/fKFW5jOqLkpa4 A7lz5d6nB3EcKmQXix4uQ5DG/JmQhPbSj569YqmAgoOVXfgdU7TxckstQKYJM3dXGxXI eeqoz2DmWQP6USEV+HbgiBKTbMilz/vXc2zDF/A6ZDEvTrY2s4zbjWTn92fiKU0DTVK3 eauw== X-Gm-Message-State: AOAM533fDnz7NvSi3v6aO+87hwddGpwNDT4bdeuJFFjTbZjKHBSeX8wD sJjVCVr/41F3ZUdndHkOaei84+n5ulFR9ILnyOw= X-Google-Smtp-Source: ABdhPJwHUBwkcjUOeKyGUnRlOOl1D2J8B+aGIy8Y91QdElbcTASCX1BPKXtiMMhoeEPHaqvtlSu8JhAiniOEhaOq5bE= X-Received: by 2002:a7b:c408:: with SMTP id k8mr247912wmi.152.1595432188742; Wed, 22 Jul 2020 08:36:28 -0700 (PDT) MIME-Version: 1.0 From: Ekaterina Komendantskaya Date: Wed, 22 Jul 2020 16:36:02 +0100 Message-ID: To: types-list@lists.seas.upenn.edu, haskell-cafe@haskell.org, types@lists.chalmers.se, stp , ciao-users@cliplab.org, caml users , coq-club@inria.fr, agda@lists.chalmers.se, erlang-questions@erlang.org, ARW-COMMITTEE@liverpool.ac.uk, cl-isabelle-users@lists.cam.ac.uk, tag@utlists.utexas.edu, boost-interest@lists.boost.org, Association for Symbolic Logic , clean-list@science.ru.nl, event@in.tu-clausthal.de, prog-lang@diku.dk, afsec@afsec.asr.cnrs.fr, security@fosad.org, gdr-im@gdr-im.fr, gt-verif-permanents@gdr-im.fr, tag@cs.utexas.edu, planetkr@kr.org, fmics@inrialpes.fr, nwpt-info@lists.ioc.ee, theorynt@listserv.nodak.edu, acl2@cs.utexas.edu, comm-theory@ieee.org, wi@aifb.uni-karlsruhe.de, iclp-workshops@sfu.ca, logic-programming@lists.picat-lang.org Content-Type: multipart/alternative; boundary="000000000000dfabd205ab0980e1" Subject: [Caml-list] Summer School on Programming Languages and Verification (SPLV20) Reply-To: Ekaterina Komendantskaya X-Loop: caml-list@inria.fr X-Sequence: 18205 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: --000000000000dfabd205ab0980e1 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear colleagues, This year we're running an online version of the Scottish Programming Languages and Verification Summer School. Please register as soon as possible, and no later than 30 July 2020. Registration is free! +-----------------------------------------------------------------+ | | | Scottish Programming Languages and Verification Summer School | | The University of Edinburgh, Online (BST), 3-21 August 2020 | | http://www.macs.hw.ac.uk/splv/splv20/ | | | +-----------------------------------------------------------------+ The second Scottish Programming Languages and Verification Summer School is organised by the University of Edinburgh and will take place online during 3-21 August 2020. The aim of the school is to provide = PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research. COURSES =3D=3D=3D=3D=3D=3D=3D Invited course -------------- Maribel Fernandez (King=E2=80=99s College London) "Nominal rewriting and unification" Core courses ------------------- Jamie Gabbay (Heriot-Watt University) "Nominal datatypes" Michel Steuwer (Glasgow University) "Compiler intermediate representations" Edwin Brady (University of St Andrews) "The Implementation of Idris 2" PREREQUISITES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic. DATES =3D=3D=3D=3D=3D Please register by 30 July 2020. Courses: online, 3 - 21 August 2020 SUPPORT =3D=3D=3D=3D=3D=3D=3D The summer school is hosted by the University of Edinburgh School of Informatics, The summer school is hosted by the University of Edinburgh School of Informatics, and partially supported by ERC grant Skye (grant no 682315) and the UK Manycore Network. REGISTRATION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Registration is open at the following address: http://tiny.cc/SPLV20-registration Attendance is *free*. FURTHER INFORMATION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D More information can be found on the school webpage: http://www.macs.hw.ac.uk/splv/splv20/ Please contact the local organisers if you have any questions: - Ohad Kammar ohad.kammar@ed.ac.uk --000000000000dfabd205ab0980e1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear colleagues,

This year we'r= e running an online version of the Scottish Programming
Languages and Ve= rification Summer School. Please register as soon as
possible, and no la= ter than 30 July 2020. Registration is free!


=C2=A0 +---------------------------------------------------= --------------+
=C2=A0 | =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 |
=C2=A0 | =C2=A0Scottish Programming La= nguages and Verification Summer School =C2=A0|
=C2=A0 | =C2=A0The= University of Edinburgh, Online (BST), 3-21 August 2020 =C2=A0=C2=A0 |
= =C2=A0 | =C2=A0http://www.macs.hw.ac.uk/splv/splv20/=C2=A0=C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0|
= =C2=A0 | =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 |
=C2=A0 +---------------------------------------------------= --------------+

The second Scottish Programming Languages and Verifi= cation Summer
School is organised by the University of Edinburgh and wil= l take place=C2=A0online during 3-21 August 2020.=C2=A0 The aim of the scho= ol is to provide=C2=A0PhD students with = core and specialised knowledge in the broad area of=C2=A0Programming Langua= ge and Verification research.

COURSES
=3D=3D=3D=3D=3D=3D=3D
Invited course
--------------


=C2=A0Maribel Fernande= z (King=E2=80=99s College London)
=C2=A0"Nominal rewriting and unif= ication"


Core courses
-------------------

=C2=A0 = =C2=A0Jamie Gabbay (Heriot-Watt University)
=C2=A0 =C2=A0"Nominal d= atatypes"

=C2=A0 =C2=A0Michel Steuwer (Glasgow University)
= =C2=A0 =C2=A0"Compiler intermediate representations"

=C2= =A0 =C2=A0Edwin Brady (University of St Andrews)
=C2=A0 =C2=A0"The Implementation of Idris 2"

<= br>PREREQUISITES
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

The scho= ol is aimed at PhD students in programming languages,
verification and r= elated areas. Also researchers and practitioners
will be very wel= come, as will strong master's students. Participants
will need to have a background in computer science, mat= hematics or a
related discipline, and have basic familiarity with (funct= ional)
programming and logic.

DATES
=3D=3D=3D=3D=3D

Please register by 30 July 2020.
Courses: online, 3 - 21 August 2= 020

SUPPORT
=3D=3D=3D=3D=3D=3D=3D

The summer school is hos= ted by the University of Edinburgh School of
Informatics, The summer sch= ool is hosted by the University of Edinburgh School of=C2=A0Informatics, an= d partially supported by ERC grant Skye (grant no=C2=A0682315) and the UK Manycore Network.



REGISTRA= TION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Registration is open at= the following address:


=C2=A0 =C2=A0=C2=A0http://tiny.cc/SPLV20-re= gistration

Attendance is *free*.

FURTHER INFORMATION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D

More information can be found on the school webpa= ge:

=C2=A0 =C2=A0http://www.macs.hw.ac.uk/splv/splv20/

Pl= ease contact the local organisers if you have any questions:

- Ohad = Kammar =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0ohad.kammar@ed.ac.uk
<= /div>
--000000000000dfabd205ab0980e1--