coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] POPL 2024 - Call for Tutorials (deadline: 15 October)

From: "Donaldson, Alastair F" <alastair.donaldson AT imperial.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] POPL 2024 - Call for Tutorials (deadline: 15 October)
Date: Wed, 26 Jul 2023 19:26:43 +0000
Accept-language: en-GB, en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=imperial.ac.uk; dmarc=pass action=none header.from=imperial.ac.uk; dkim=pass header.d=imperial.ac.uk; arc=none
Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=2bDgZPIYXIFCMsWjRhIVpcJ1Oc9ynD27pWGfmzcQpcg=; b=ewCYabNteRxR4LAMolbnl8IA48Djz9GjS+N6ba56C5zgNxn6WP2CG/7Xk4PLWmJn2kAEZPdCRDUlfCjkWBWyE04GQli8QaQxWkIgO91YXXWK/rNbhvkpSWxsbimcw3p2DTl0JnsgD3sE3eq5THSlfHWXgzwAY0aGzOgiVqW/BsIszBr5EDVXs/OMP2flX1vwYBPzsYXKAdti64cxVChGZ18AnTEZqKuix+gGbivt385aOD52w9trXOycEICTMRaR+pKEAckguEhQFhVhjuDHIrKcxbgSE6SHfIq1GxWoApwWh/NmRixTLuezAfl3HmUFzDpsuZANCQ/vOfohscIc3g==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=UUAnPNZOWq3bo6Dp89URWWRStds93BXytKQASAnsXTBANLtx0P0wJd+7H13GL1KnbCmPz2ZNVukoO8Bq9asnHX1yddXxL/JT13pV0tkPUyvDustluSBMrgmPInaeJ6xU2koJetVPbJTHDG+TYBCmayQLxkf/i+cabntyvMbyw5oL7+pIKRYElIWMBh+mK/s80cbWQ827y1gujRZOnDuOncZQ+bKbrI7JeGr2SfxA4m0c6lxEvO0fjfxc+7wVczPnIFD1J+JLvM6gsz9HnoDemDzN12B9G9TWMg4O3mu80TiVKGldbvEW80H1jHejRGla8ADssUpn838uPH/H2eZlgg==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alastair.donaldson AT imperial.ac.uk; spf=Pass smtp.mailfrom=alastair.donaldson AT imperial.ac.uk; spf=None smtp.helo=postmaster AT smtphub2.cc.ic.ac.uk
Ironport-data: A9a23:ofcF16t2Pc3DBA32R4MJSM7xpufnVG9aMUV32f8akzHdYApBsoF/q tZmKTrXbvreYDDyfoh2Poi1pBxUucDQmNFhGgU5pSs9RnkXgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRMsspvlDs15K6p4GxC4ARnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJGMWBLwnpLpROnptt qMIOioJYRa5uv3jldpXSsE07igiBNLuIJsfp3s6izrSS/ctB5nIBbjJjTNa9G5s2IYXQqeYP JBfNWUHgBfoO3WjPn8eDJslgO6pnD/zdDtRrF6Ooqwf4m3LwRZw2byrOdGTZ9/iqcB9xx/J/ DiYpjqnav0cHPyEzAqg2U2RvffGpgffdr9DHae77uE/1TV/wURIVENKDALhyRWjsWa1XMsaI EgJ8AI1vK0q/QqqSMP8Vlu2uha5UgU0QN9MC+0n4lvLwaGS4g3fD2NCUz0phMEaWNEeZxwT5 2DXw/XSHh8s762HU3aS8I2psmbnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obo1rUZ/hmsk 1i3QDgCa6Y70JdXhvvglbzTq3f1/MKVJuIgzl+PBgqYAhVFiJmNSKbA1LQ2xe1FMJ6ZU1Pb+ nMP3cmVqukFS4yO/MBsfAnvNO/4jxpmGGSC6bKKI3XH32jyk5JEVdwNiAyS3G8zbq45lcbBO Sc/Qz956p5JJ2eNZqRqeY+3AMlC5fG+RIy+B66ONYMUM8IZmOq7EMdGOxX4M4fFzhJErE3DE c3FL65A8F5FU/48lmHsLwvj+eJ3mH1WKZzvqWDTlEj5jePHPhZ5uJ8HOV2Dcqgk6qKarR/O8 spOf82H1wpYSu6WX8Uk2dB7ELz+FlBiXcqeg5UOLoare1M2cEl/UKW56e16JORYc1F9y72gE oeVABEIkTISRBTvdG23V5yUQO62A8cn9yxnZ0TB/z+AghAeXGpm149HH7NfQFXt3LULISdcH 6lbKfaTSO9CUCrG8Dk7ZJzw5t4qPheyiA7Ee2LvbDEjdtQyD0bE6/31TDvJrSMuNyuQsddhg ruC0giAf4EPaT4/B+nradWu7WiLg14jpMxIUXDlGOJjIHfXzNAyKgjarOMGHMUXGBCSmhqYz 1m3BDkbl8nsoqg00sHDtYqApIKtE+FVQ0prDjSC5KeXLgjfxHKomqVbYdaLfBfcdWL6w7qjb uNr1MPBMOULsVJJkohkGZNp8P4O3MTurLpk0QhUJnXHQFC1ALdGIHPd/81wmoBS571e4y2aZ 1mu/4REBLC3J8/VKl4dCw47ZOCl1/tPuD3z7+wwEXrq9h1M47uLfkVDDSai0BUHAuNOD7ok5 uM9tOo9yQ+10EMqO+nbqBFkzT2HK3hYXpg3sp0fPpTQtTMq7VN8MLj8ES795a+dZ+pcancKJ iCmv4ucprB+6HebTV8NOynj4e5vi64Kmih2934ZBlHQmtP6lv49hxJQ1jIsTzVq9BZM0sMtG 21vK0ZaG7SHwBlzoM1tXUSqJRtgBQKYyGP12VAmhG3UdGj2d23vfUkWG/eBw1AdyE1YJgNkx bC/zH30dwrqcOXa/DoAaWQ8p9PNFdVOpxD/wua5FMG7LrwGSDvCgJ72Q1EXqhHiUPgDtGeeq cZEpO9POLDGbwgOqKgGCq6f57QaaDaAAEdgGfhB3qc4LVvwSQGI+wqlCh6OI5tWBvnw70WHJ dRkJZtPWzSAxS++lG0nKpBWEYBkvswCxYQkSuvwKH8koomviGNjkKjt+xjUgE4pRNRTkvgBF L7BSgLaEkKsqCtVv0TvsPh7PnGJZIhYRQ/kg8Gw3uY7N7MCl+BOY0sC6KS9n0uUFQo6/SOF4 RvydvLW/v0/kI19vpDNF59bDF6eMuLDV+Wv8SGyve9RbNjJD9z8igMNpnTjPCVUJbE0Sf0ts Zis6fnZhFjkupQyWEDnw6ixLbFDv5iObbAGI/DJI2l/tgrcfs3Vuj8o2X2ycL5Nm/NjvviXf ROyMpaMRIRESuVm5SNnbgZFGEwgEIXxVKDroB29o9mqChQw1Q/mLsutxUT2bFN0JzM5BJnjN jDa4/qexMhUjIBpNi82A/tLB5xZIli6V5V/Jpe1/XOdA3Kzi1yPhqr6mFByoXvXA32DC4Dh7 YiDWhH6cw+otbrVyM1C9bZ/pQATEG03lNxYkpjxIDKqo2vS4K86weUh3VEuEZRIiizv3su+b zqLbWBkAC67QDcsndAQJjj8dl/3OwDMEo6Ryv8VE4e8aiKuCZmBCb8n/ywm/nQelv7L0rS8M d9HkpHvFkHZ/3yqLNr/ItS6hP9q3PLTwjQB8gbgkKQexvrY7aoijBRcIeaGacAL/wwhWqkGy ajZiF2omH2GdHM=
Ironport-hdrordr: A9a23:R0Y8WKMx4lRtRMBcTjujsMiBIKoaSvp037BK7StMoG9uEvBw9v rFoB1173PJYVoqKRIdcLO7V5VoI0mwyXek2/h1AV7KZmCPhILCFvAB0WKN+Vzd8mHFmNJ15O NaabF3DNC1JVJmjcD8iTPIauoI8Z296rmhgeqb92tgUQ0vS6wI1XYfNi+rVnZtXQFDCN4CGI GC6tEvnUvFRV0nKv6jDn0JG9POvcHPifvdEHg7OyI=
Ironport-phdr: A9a23:cft39xRzEKdP/Ify9DDFHd77gNpsoouWAWYlg6HPa5pwe6iut67vI FbYra00ygOTA8OFsbkd0LCempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQRFiCC8bL9sI xm6sAvcutcLioZ+N6g9zQfErGFVcOpM32NoIlyTnxf45siu+ZNo7jpdtfE8+cNeSKv2Z6s3Q 6BWAzQgKGA1+dbktQLfQguV53sTSXsZnxxVCAXY9h76X5Pxsizntuph3SSRIMP7QawoVTmk8 qxmTgLjhiUaOD4j6GzZitJ+gr9HoByvpBJw34HbbZqPO/ZiYq/QZ88WSXZcUstXSidPApm8b 4wKD+cZM+pWoY79p10Uohu6GAasH+TvyjlQinTrwaA61/4uERra3AM6HtIOqmnfotX7OKwPV u261q3Iwi/Yb/NKwzj96ZLIfgo8rvGLW7J/a87RxlQ0FwPCiFWdso3lPzaN1usTqWib7vBvV ea1h2E9tw59uCWvxsQ1h4TPm4kaxUzK+z9jz4YpOd23VlR7Ydi8HZZMqiyXOIR7T98sTWxop So2174LtJ2ncCUKxpkpxwPTZfOIfoaI4hzuVficLSt7iX9leLyyhBW//FSjx+D/Wce51ktBo CRCktnJrH8N1hrT59CcSvt88UehwTKP2BrV6u1eJkA0j6XbJpg8ybAzjpoeqVnPEyD3lUnsk aObdEEp9vKm5uj5eLnrqZ2RO5dqhgz/LqgjlMmyDfkkPgcUXmWW/Oux2KH/8UD8XblGkPk7n 6zcvZ3aI8kQu7S3DBVP0ok57hayFzem38ocnXkANF9FYxeHj5TxO1HOPfD3Fumzj06wnzh33 fzGP6HuDo/XIXffirvhYLV951ZdyAo1099f+4pZBqwOLf/yQEP9qd7VAxsjPwG63errEtpw2 4EGVWKKGKCZMafSsVGS5uIoJumBfJUauDLnJPg++/7hl345mUUHcaa02psXbmq3HvB7LEWCZ nrshMwMEWYPvgomUuPqklyCXiRXZ3qoRa0z+is3CJ+lDYvbQICim6SO3D2nEZ1OemBGFleMH G/1e4mcQfcDdDqSItN9kjwDTbWuV4gh1Qi3uADmz7pnM/Hb9zYDtZPj0dh1//fcmQsz9TxyF cSd0nuCQ3t6nmMSFHcK2/U1qktkj1yHzKJQgvpCFNUV6ekDGlMxMoeZxOhnAfjzXBjAd5GHU gD1bM+hBGR7YtU3ytsCeEF7X52LihnYwyOrGfc73fTfDZg96b7V3mK3K8F7wnLKz64np1gjW sZVNGSiwKd0sRXQUd2a236FnrqnIPxPlBXG832OmDLmVCBwVQdxVf+ARnUDfg7Mqt+/4EreT rioALBhMw1byMfEJLEZIsbxgwBgQ/HucM/bf3r3g325UB+Mz6iQZYvwPWka2izZBFMDlSgS+ G6LLwk3AmGoqCTDD28mDkrhNnvl6vI2s3anVgkxxgCOYVdm0u+8/hcOmfWdUbUf2bQNvCs6r DNcHVOl0sjXAt7GrgEnYaYPKcgl7gJh0mTU/xd4IoTmL61mgQsGdB9rukr1yxhtIp5FjdAqs XlwigF5b6OTllpKMS6btXzpEpvQLGS6vBWmaqqMn0rbzM7T4KAErvIxt1TkugitUEsk6XRul ddPgTOa4d3RAQweXIiUMA5//gVmp7zcfig25p/FnXxqP66utzbe2tUvTOI7wxekdt1bPeuKD gj3W8EdAsGvLqQtlT3LJloNOOlJ6Kc1JYWqcP2P3KKwO+BInTe+gH5G6YQ720nK6ik9Au/E0 pAZwu2JixOdXmSZ7h/pucT2lIZYIDAKSzPjl269W98XPfc0IdlYbAXma9e6zdh/mZP3DntR9 Vr5QkgDxNfsYx2ZKVr0wQxX000T532hgyqxiTJuwFRL5uKS2jLDx+P6eV8JIGlOESNriV73P YG1lZYWW06hawQykx2N5EPiyrJaraA5JmKVXEQCLE2UZylyF7C9sLaPeZsF4ZchqjleUf76b VecQ7rxuBwc+yLmB2ZExTk/MTih/Ij61U8f6irVPDN4q3zXftt1zBHU6YnHRPJf6TEBQTFxl TjdAlXU08CBxdyPjN+Dt+m/UzjkTZhPaWzxyojGsiKn5GpsCBn5nvapm9ShHxJomSP80tBrU 23PonOeKsHi062hLetmZA9kA1n178ZhHYdWk44oiYsR0Hxcj57T4HlPnWroMNpd0L7zdzJUG WBNmoGEplO/nhE8ZnuSouCxHm2Q2M5ge8W3bisN1yQx4toLQKaY4bpYnDdk91+xrAbfe/94z X8Wzfoj7mJfgvlc4VZziHzCU/ZJRw8EYn+J9VzA9d21oaRJaXz6dLGx0BA7htW9FPSYpQoaX n/le5AkFCs278NlMVuK3megj+OsMNTWc98XsQWZ1hnaiO0AYps1n+EWjCt9f276u3Qhx/U8i zRv2Im3pomOLyNk9+SkAVQLU1+9L9NW4TzrgatEy4yf24m0ApxgAHMHW53hSf6zFzQ6tPH/O hyPGTl6o3zdBLmVTmr9oA926nnIFZ6sLXSeInIUmM5jSBeqL0tamAkIXT8+k81xBkWwycfma ks8+iEJ6wuytE5X0uwxfUqaMC+XtEKyZzwzUpTaMBdG8lQI+RLOKcLHpuNrQ3MBosPn9VPcb DzdO1wPVzBsOATMBki/bOD/v5+ZrrbeX7TkaaOJO+XGqPQCBa7Um9T2jdogpGzKap3IZCgHb bVz21IfDykoQYKAxmtJEnJN0XuTKJTL7BakpH8tp5i0oqnhU1q9tdPdUuMCY4czo1fv2/rmV abYhT4ne2xRjphemHXDkOpPhAxLhnk8JX7zTfwBrXCfFquIkf0KBRVDOXMjZpIQtvBuglEKY JSG77G9nr9g0KxvAg9OBwHrkZn7NZxYemzlZgGAWhrDY72CIXejL9jfR6S6RPUQiexVs0f1o jOHCwr5OT/FkTD1VhepOOUKjSeBPRUYtpvvOhBqQXPuSt7rcHjZeJd+kCE2zLsoh3jLKX9UM D5ydFlIp6GR6iUQi+t2GmhI5H5oZeeenCPR4+7dI5cQ+fxlZ0Y83/pd+2g/wqBJ4TtsX/lpg CvPpIQoqFrgk+LJwzEhTRkP4jdHiYSXvFlzbKXU8p4TPBSMtBkJ7GiWF1ELv448VoOp4v8Bj IOV0v6se1Igu5rO8MARBtbZMpeCOXsla1/yHSLMSRECRnitPH3egEpUlLeT8GeUp940sMuJ+ tJGR7lFWVgyDv5fBF5iGYlIKZN+RS8tkKTdgMkO7H6ytx7XbMRfpp3dV/uWR/zkbiuax+ohB VNA0fbjIIIfO5eukVRlcUV/lZ/WFlD4RtVRui18ZFVyq04L8XM4R2Z1xkGvOWbPqDcDUPWzm BAxkA53Z+8goSzt71kALV3PvCIskUM1lL0NZBiQdSb8Nqa5WcdfAGzptBppWnsaax1wcRWyg EY+cjzPAbNaybJrM31o2le0UXRnGPtEQLdFaRtWzPrRevZ6iDxh
Ironport-sdr: 64c17376_4OtbkEyGqa/ReWBNLnUwB4InXqYk6OcIrP/itgDUdqwPWA/ 2KR/LEG58Cp57kmPHPoc9E/zr38rSsUOS3RQ3qg==
Msip_labels:

Dear all

Please consider submitting a tutorial proposal to POPL 2024 - the call is below. We would be grateful if you could please circulate this call within your networks!

Thanks

Ally Donaldson and John Wickerson

POPL 2024 Publicity Chairs

Call For Tutorials - POPL 2024

https://popl24.sigplan.org/track/POPL-2024-tutorialfest#Call-For-Tutorials

The 51st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2024) will be held in London, United Kingdom.

POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation, and verification of programming languages, programming systems, and programming abstractions.

Tutorials for POPL 2024 are solicited on any topic relevant to the POPL community. We particularly encourage submissions of introductory tutorials that make the research presented at POPL more accessible to the participants.

Tutorials will be held on Monday, January 15, 2024. The expected length of a tutorial is 3 hours, including questions and discussion (Q&A).

Submission details:

- Deadline for submission: 15 October 2023

- Notification of acceptance: 25 October 2023

A tutorial proposal should provide the following information:

- Tutorial title

- Presenter(s), affiliation(s), and contact information

- 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience, prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees if available.

- 1-2 paragraph abstract suitable for tutorial publicity.

- 1 paragraph biography suitable for tutorial publicity.

Proposal must be submitted in pdf or txt form by email to the associated events chairs Anders Miltner miltner AT sfu.ca and Christoph Matheja chmat AT dtu.dk.

Any query regarding POPL 2024 tutorial proposals should be addressed to the associated events chairs Anders Miltner miltner AT sfu.ca and Christoph Matheja chmat AT dtu.dk or to the general chair Philippa Gardner.

[Coq-Club] POPL 2024 - Call for Tutorials (deadline: 15 October), Donaldson, Alastair F, 07/26/2023