Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for Participation: Scottish PL & Verification Summer School

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation: Scottish PL & Verification Summer School


Chronological Thread 
  • From: Guillaume Allais <guillaume.allais AT ens-lyon.org>
  • To: undisclosed-recipients: ;
  • Subject: [Coq-Club] Call for Participation: Scottish PL & Verification Summer School
  • Date: Thu, 6 Jun 2024 09:43:03 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=guillaume.allais AT ens-lyon.org; spf=Pass smtp.mailfrom=SRS0=sSUt=NI=ens-lyon.org=guillaume.allais AT bounce.ens-lyon.org; spf=Pass smtp.helo=postmaster AT sonata.ens-lyon.org
  • 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=
  • 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-sdr: 666176c5_AQYjWS11wEBBwbM6z6DE78l+CIsqo00Cu0sS2Dvr2D4gKJD EJUnHYovRiWRCRZALeQi8UkMKxBEUdpFlFbv/bQ==

==================================================================
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 AT groups.strath.ac.uk


  • [Coq-Club] Call for Participation: Scottish PL & Verification Summer School, Guillaume Allais, 06/06/2024

Archive powered by MHonArc 2.6.19+.

Top of Page