coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] POPL 2023 Call for Tutorials

From: Kristopher K Micinski <kkmicins AT syr.edu>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] POPL 2023 Call for Tutorials
Date: Fri, 30 Sep 2022 22:59:35 +0000
Accept-language: en-US
Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=syr.edu; dmarc=pass action=none header.from=syr.edu; dkim=pass header.d=syr.edu; 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=QRJGjiarbSV/0z+1SO+CXJWH1elCy/mg2TmfMj4axLM=; b=Y1Vq5eeH9RvWJsLwlekX6BEEFoC/w7S4Xo1JYrtHohVzjJAjHTDBG9XDJYwGrq/+4zBT304w6NhNXXlGaHT5WlXUDyH/ZwKaC8gdadCoJclINo5PmHGYcGhARq1VOa3nsr013htoXw02mWDfhjc+VaUWBoQF3+iE5XjYK6RZFYu0bZnRW/bJ4T2Fm1MVQ3wo/3w4M5nrsvpuH5R3CaRi/P2vV6Q4f5YbyyLuymU2KmbmLUAlX+iptc8bopEjs9b5LCK7AV/z/DqlMQlIZ5SE7feu+dFVt8AUsYoskXcWSCce98+UhrjinM7JPVFM4yzm86Na7bMOT3c+fg0+LIdPHg==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=hhmcKOe9arwNIRCBhkTd76suKSARCzi/1JZAjOLOimvu07Dfwmp0hreIPSUMtmJvBE5/Hz6s/YQD1lGizSjioGSiPDvN7odfA/IRxNVZDhaYhQN63I8LhqYEQaCw7zBLhwPTd3tQ00ddQrXileOsbim4l/dEoB0Hy/shlBscnb78ZL1BZrLisCI9I93etQX32H3q/zSc6CeFhyz/TBkPpvk1l77KNTOy0QW1+4M1OK+99hgvzR1Oab4ArO2amaj2DgTZiIsCd/HU1w9caCM0q+kvrNFryIUWZuPKz1wou3S6BTxI5dtgMF1HvnpSH3sz47mN5DdALyz3Ym5uLxHTag==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kkmicins AT syr.edu; spf=Pass smtp.mailfrom=kkmicins AT syr.edu; spf=Pass smtp.helo=postmaster AT NAM04-DM6-obe.outbound.protection.outlook.com
Ironport-data: A9a23:C/5DT62Fw5HxBfblRvbD5YN6kn2cJEfYwER7XKvMYLTBsI5bp2ZRz WRODG6PM/zZNjakeYh+Povi/U5S7MTXndViSQc+3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHtIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0gFaYDkpOs/jZ8EI05Kyp0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSMIUekIIrL0RTvuSfl3/MXSfR5c5rEXAWONEK1LlRHntRo KlwxDAlNnhvhsqQ6ZfjFqxAo5pmK8PmeoQCpntn0DfVS+48RozOSLnL4tke2yosgsdJHrDVY M9xhThHMEyGOkUQfA5PUtRnxbzAanrXK1W0rHqWpq826GnV1yRqwaKrPdbIEjCPbZgIwhrD+ jKal4j/Kg8dKcPBjmHZy2Khr7f+mxqmWKUzNaLto5aGh3XInzdIUERMPbehmtGyjVf7UNZCI WQP6y82pO4z8laqR5/zRXWFTGWsuxcdX59cFrM84QTVlq3SuV/AXS4DUyJLb8EguIkuXzs22 1SVntTvQztyrLmSTnHb/bCRxd+vBcQLBWNaVyUqETYj2Nz+kaE20gDhEfB8CrHg27UZBgrM6 zyNqSE/gZAagsgKy7i38Dj7b9SE9smhoukdtlW/Y4610u9qTNL8OdTysDA3+d4Ffd3HFwPa1 JQRs5LGhN3iG61hg8BkrA8lMLyyr9OCMTvRmjaD9LF8r2/1pBZPkW1AiQySyW9sO8cAPDPsP knavFsN45kJZSLxK6hqf4i2FsImi7D6EsjoXezVadwIZYVtcAiA/2dlYkv4M4HRfKoEzvtX1 XSzKJrE4ZMm5UJPkGTeqwA1jeFD+8zG7TmPLa0XNSiP37uEf2KyQrwYKlaIZe1RxPra/lmIr YwBbZXRkU43vAjCjs//od97wbcifSlTOHwKg5YPHgJ+ClE5QjxwUaGNqV/fU906wfQF/gs3w p1NchQBkwGn3CevxfSib3FocrT0Wphj5XspIDYhVWtEKFByCbtDGJw3LsNtFZF+rLIL5actE 5EtJpvcatwSFGWv02pHMfHV8tc4HDz13l3mAsZQSGNiF7Z6WRfz88PpFiO2snFm4tyf7pdl/ NVNF2rzHfI+euiVJJyON6n1kA7s5xDwWotaBiP1HzWaQ220mKACFsA7pqZfzxgkeEyflAiJn R2bGwkZruTrqoo4uouBz6OdoovjV6M0EkNGFiOJpfy7JAvLzFqFmIVgaeeveSyCdWXW/K75W /5Z4cuhO9I6nXFLkbFGLZBV8YwE6eDCnYRqljZfIC2TbnCAKK9RHX2d7Mwe6oxP3uB4vCW1a GKu+/5bG6eECOL4ImErfSskceWx+vUGkRbC7fkOARvb5Q0m2JGlQEltLx23pygFF4RMMaQh2 vYHuuQazyedmygaGI+KoQ4M/lvdM0Fadbsss68rJbPCiy0p+wlkWoPdACqn26O/QYxAHWdyK wDFmZeYoapXw3fDVH8BFXLt++55rrZWsTBoyG4yHXi4quDntNQWgiIIqS8WSz5LxCppy+hwY 2hnF3NkLJW0ogtHupJxYHCOKSpgWjupolf82nkYpl3/FkOIbFHAHEc5GOSK/X0azV5iQyhmz OmY5lrIATfOV+Pt7xQ2Qn9g+qDCT8Qu1wjsm/KHPsWiHrsdWAe9nYmFPEc0lyr7C5kTgGnC9 LBm08RuZZKmNgoWibwxULOe5O8qUBreeHFIGs859oxYA2jNJTO4g2CPD2uTecp9AePA3mHlK s5pJ+NJDw+f0gTXpB8lJKc8GZ1Gt99328gnZZXQOn8gj7SEizhi7bb813Tb3TcwYtNMlc0dF NvgRwiaGDbNuUoOyn7/ksZUH0GZP/wWbxLY98Ko+rwrE5kjjrldQXsq2OHpg0TPYRpVxDPKj gbtfKSM8vdDz75rlI7SEqluIQW4BNfwdeaQ+jCIrNV8QoLTAPjKqj8qhAHrDyZOMZsVfuZHp 7CHndr0/UHC5bgNQz/4nbuFHPJ3/smcZrdcHf/2C3h4phG8fvHQzSENwV3lFqwRouhhvpGmY yCadPqPccUkXoYB5X9NNAlbPRUvK4X2SabCty6Njum+NSJE8A3YLeGI8W3iQnFbexQpZbz/K F7QkNS/6u9IqL9jAEc/OMhnJJtjMXnhc6cCXP/ghwmyV2WHrAuLher/qEAG9zrONEihLO/7x pD0Hj7FaxW4vfDz/uFz6oBdkEUeMydgvLMWYEkYxt9RjgK6Bk4gKcA2E80PKrNQoxzI+KDIX hP/R0p8NnylRhVBSwv23/r7VATGBuAuBMbwFgZ0w2yqMRWJFKGyK5o/0Bc573lPL26piKntL NwF4XT/MySg2pwjF65Z+vW/hvwh3f/AgG4B/UfmicHpHhICGvMw2Wd8GBZWHznyey0XeJ4n+ UBuLYyFfK26daI1OeBJXiYJXT084nboxThuajqTytHCvYnd1PdH1PD0J+D01PsEcdgOI7kNA 3jwQgNhJkiIj2cLt/JBV80B2MdJ5TCjR6BW75MPgSUJjrv252g6Vy/HtTRaV9ksoWazDHuE/ gRBIBEC6ICtM1FLnrCa1G3lPn63vm0kV1n0seI0mdMKfdHVATQUl9hGAT8X8a3NlpU=
Ironport-hdrordr: A9a23:+KpUvqObQGGs18BcT1X155DYdb4zR+YMi2TDiHoddfUFSKalfp 6V98jzjSWE7gr5K0tQ4OxoX5PwCE80lKQFl7X5WI3PYOCIghrNEGgP1+rfKl7bamXDH4xmpM BdmsFFYbWeY2SS5vyKgzVQZuxQpeVvh5rY59s2oU0McShaL4VbqytpAAeSFUN7ACNcA4AiKZ aa7s1b4xK9ZHU+dK2AdzM4dtmGg+eOuIPtYBYACRJiwhKJlymU5LnzFAXd9gsCUglI3awp/Q H+4kHED+SYwr2GIy3npiHuBqdt6ZrcIxx4dYyxY/0uW3rRY8CTFcdcsvO5zXIISaqUmS4XeZ H30mwd1oJImjjslyiO0GbQMwWM6kdV11byjVCfmnftusr/WXYzDNdAn5tQdl/D51Mnp8wU6t M/44u1jeslMfr7plWO2/HYExVx0kakq3srluAey3RZTIsFcbdU6YgS5llcHpsMFD/zrNlPKp gYMOjMoPJNNV+KZXHQuWdihNSqQ3QoBx+DBkwPoNac3TRalG1wi0EY2MsclHEd849Vcegx28 3UdqBz0L1eRM4faqxwQO8HXMusE2TIBQnBNWqDSG6XZJ3v+0i92qIfzI9Fmt1CIqZ4sKfasK 6xL29liQ==
Ironport-phdr: A9a23:1v1C1BfE57DkU3kvZQx8IvqElGM+kdbLVj580XLHo4xHfqnrxZn+J kuXvawr0AWSG96GsLkd1qL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNbQhEnjSwbLN8I Rm5sAncttQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2U bJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5 KptVRTmijoINyQh/W/XlMJ+kb5brhyiqRNjzIDbb5qYNOZnfq/BYd8WWXZNUttXWidcAo28d YwPD+8ZMOhdtYn9pkAOrQe5BQm0BOPg1CVIjWLz06Yn1OohEB3J3A0mH9IVs3TUrcj+OaARU eC2yanIzCnMb/JQ2Tfm84XIaRAgoeuWUb1ubMXR1FAiGgXYhVqftYLrJSma1vgRs2eF9epgU /qihmo5pg9xvDSixsYhhpfGi44IxV7J6zl0zoY1KNClSEN1btqpHIZOui+UK4d7XN0vTmBqt SsnxLMKp4O2ciYFxpkh2hXRZfuHc42S7RLiUuacOSx4hHNqeLKngxa9606gxvf7Vsmu31ZHq DdOnNrUtn0V2BHf9tKLRuZh8kqjwzqDyhzf5v9eLUwpiKbWJYYtzqAxm5YPv0nOGzL6lFntg 6KXc0gp9e2l5/r5bbjjo5KQKZN4hwfjOao0gMO/G/43Mg0WUmib5+u80Lrj8FXhTrhWifM6j qbUvInUK8ocp6O1GghV3Z095BqlCDemzcgYkmIALFJYfhKIkpLlO0nUIPD/EfewnUijkCtqx /DBOL3tGJLNLmXfkLflerZ97E1cxBAvwtBY4pJYErABIPTtVU/trNHVAQM1Pxapz+r7Cthxz J4SVX6RDqODLa/erFGF6voqI+aWZY8VvDj9K+Ii5/7rlXI5mlwdfayo3ZQLaXC4GO9mLl6CY XvsmNcNC3kFsRcjTODyjl2NSiZcZ2yuUKIk+jE7FIWmAJ/eSoy1mryOwD+7HoFKZmBBEl2DD XDod5ydV/gQbCKSP9RunycfVbmhTo8hzQuhuBX7y7phNOrU+zcXuYjt1NhvtKXvkkR4/jttS s+ZzmulTmdun2pOSSV8lPR0plU4wVOe24B5heZZHJpd/aUafB09MMv/1e1hF9fqWg/bNvTBb VetQ9O9AjB5GtEyxt4FYkBmM86zlFbO0zf8UOxdrKCCGJFhqvGU5HP2Pcsokx4utYEkhlgiG I5UMHG+w7R4/E7VDpLIlEOQk+Crc74d1WjD7jTL1nKA6WdfVgM4SqDZRTYHfEKDrtf850jDS aSGEqU9dAZN1J3KMbNEP+Xglk4OX/L/IJLbamO1lX23AEOLxbaNZ4vsYE0GzT+bBUQZwEgI5 XjTDQElHW+6pn7GSjxjEVW6e0T37ex3s2+2VGcS5iTSMwhN8uTw/RQYw/uBV/kUw7QI/j87r Cl5F0q82NSQDMecow1mf+NXZtZVDE5v82XfukQ9O5WhK/onnVsCa0FtuEio0RxrC4JGmMxsr XUwzQM0J7jKmFVGPyiV25z9INi1YiH74QyvZqjK21rfzMfe+6EB7+49okniuwfhH1Qr8nFu2 d1Ym3WG4ZCCAA0XWJP3GkE5knoy77LZZyg25oXP/WZ9K++5viKDk9MlCe05ywqxKs9FOfDMH wvzHssGQsm2fbBy3QHxMVRdZLoUrfdvbKbEP7Oc1aWmPfhthmejhGVDusVm116UsjB7QajO1 ooExPeR2k2GUS39hRGvqJOS+8gMaDcME2640SWhCpRWY/g4foUOCGyvJdaf3cRkwZPhRjQLk TzrT0NDw8KvdReIOhb+3ghR3kURulS8iDH+wjBp2WJhvu+U2yrAxP7nfRwMNztQRWVsulzrJ JC9k9EQWEXAgxEBrBK+/g66wqFaoP46NGzPWQJSeCOwKWh+U6y2v77EYshV6Zpuvz8FGOi7Z FmbTPb6rX54m2vgHG5fzzE9bBmxq4+/khBnwG6QN3d8qnPFdNo4mU+ZvYSDA6cJhHxfHXIwg CKfHlWmOti14diY8vWL+vuzUW6sTNwbcCXmy5+BqDru4GRrBROlmPXg0tbjEAU8zWr6z4w2D WOR9Em6O9Gxkf3jarECHAEgHlL35stkF5srl4IxgMtVwn0GntCP+nFBl27vMNJd0Ka4bXwXR DdNzcSGhWqtkEBlMH+NwJr0E3uHxc40Ldq5Z2Id2yQmx9tbEuGZ4KEOzk4X6hKo6BncZ/Rwh GJXyvgr6XUbhfohoxs3iCiRH/pBVVkdNivqmROS6tm4p6gCf2ejf4+7009mlMygBrWP8WQ+E D7pP40vFihq4oBjIUrBhTftv5r8doCaPpoD8weZmBDag61JJYItw7AU0DF/NzuY3zVtyvZn3 0A2m8Dg+tDBcyI0oeq4GkIKamWzPptMvGmr1eEHwI6Xx9z9Q88nQ21TGsOuFbXxTFdw/bzmL 1rcSWVg7CvEX+KZRUjGtw9ntyydSZnzbiPOfSBLw4k6HEvPYxAP5WJcFDQiwMxjH1jzlpW4K RV3umhKtAy/9koEy/o2ZUP2Cj6N/V7xODloEMPNfEIOtlMQoBqNVK7WpuNrQXMC98X4/lXUc z6VO1wTX2pRAhTWVRe+Z/Gv/YeSqeHAX7jndqKcb+nW8r5QD6/Ql8Doj9EDnX7EN8OEOmRuA q8gwkRPG2hjHNjUkCkOTCpRkD/Ra8mcp1G3/Sg/68m79L6DtBvH3YKUEPMSNNxu/0rzmqKfL 6uKgy0/Lz9E15QKzHuOyb4F3VdUhTs8PzWqFL0Bs2bKQsey0udPCAUHbipoKMZSx4QV+1ERf OL+1Jby3LM+ieMpAVBYU1CngtuuecEBP2C6MhXAGVqPM7OFYzbMxqSVKeuwRKZRg+NdqxCr8 WrDVRa7YXLaz2OvDkn0eehXxDmWJhlfpJ2wfl52BG7vQcinIhy3PdlrjCEnlL05gnSZUAxUe TN4ck5LsviR9XYE2rMmQzMHtyI/a7DdwHX8jaGQMJsdvPp1Dz4hkutb5C5/0L5J9GReQ/czn iLOr9loqlXgk++VyzMhXgAdz1QDzI+No0hmPr3Us5daXnORthEO6GSbChIRj8B0EJvit70am b2t3OrjbSxP9d7Z555WH8/PNMeOK2YsKzLPMRuMUE4paGDuMmvSwUtAjPuV63uZ6IAgrYThk 4YPTbkdU0EpEvQdCQJuG9lIc/IVFns01LWcisAP/3+3qhLcEd5bsp7wXfWXGfzzKTydgOoMd 14SzLj/N4hWKpzj1hkodAxhhIqTURm1P5gFsmh7YwQzukkI7HVuUjh5xRf+cg30qH4LSazox lhn0E0mJ7xqrWqk4k9rdAaS4nJozw9p342i2G70Ena5Lb/sD9wMTXOs7w5pdMu8Glo9bBXuz xU8aHGYGPQJyeMnLD8jiReC68FGQacOFPQdMhFMnanFNbJ0gTE+4m2m3REVv+KdUMk7zVJ4f 8L09CASnF4yJN8te/6KLfIQnAEJ3/CA4nfzhLBpmFdMdQFQqAbwMGYJoBJabLB+fnjxp7U+5 1DawGlIIDBUBaht/6si91tjab6Jl3uyiucaeE7tb7fNIfvB4zqS0pPSJzF4nkIOnE1Y8bUky t8tfwyMTUczwbCNFhMPc83fNQVSaMkU/3/WNWOHteGHqXqaF56sDKblQfLc7c78Y2qCNSNxQ 8Egy5pEGZOhlkbFMc3gMbgJjw034xjmL0mEC/IPfw+XlDAAoIe0y5olhOG1wxkGEH87PCmqt O6/mw==
Ironport-sdr: 633774dd_15vtJce4QF7w+mUF7ebejeEInE5PoxAW8rBOzJPB4UjpGh9 okHK+DlZ/7WYBHBS/ndMpTAEOV37Jc8auPpdn8Q==
Msip_labels:

CALL FOR TUTORIALS

POPL 2023

50th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages

POPL: 18 - 20 January 2023
Affiliated Events: 15-17 and 21 January 2023
Venue: Boston, MA, USA

https://popl23.sigplan.org/

The 50th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
(POPL 2023) will be held in Boston, Massachusetts, United States.

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 2023 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 16 and Tuesday, January 17, 2023.
The
expected length of a tutorial is 3 hours, including questions and discussion
(Q&A).

POPL is currently planned to be an in-person/hybrid meeting. However,
circumstances may force a switch to a virtual meeting.
---------------------------------------------------------------------

Submission details

* Deadline for submission: 15 October 2022
* Notification of acceptance: 25 October 2022

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 William Bowman (wjb AT williambowman.com) and
Anders Miltner (miltner AT cs.sfu.ca).

---------------------------------------------------------------------

Further information

Any query regarding POPL 2023 tutorial proposals should be addressed
to the associated events chairs William Bowman (wjb AT williambowman.com) and
Anders Miltner (miltner AT cs.sfu.ca).

[Coq-Club] POPL 2023 Call for Tutorials, Kristopher K Micinski, 10/01/2022