coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Umar Farooq <ufarooq AT lsu.edu>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Call for Papers -- Call for Papers
- Date: Fri, 15 Mar 2024 22:03:34 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=lsu.edu; dmarc=pass action=none header.from=lsu.edu; dkim=pass header.d=lsu.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=iiqDXc0FWQ5O2jR1jY4sY9TpzuaeymuPCQFODYIId58=; b=Kcik+jwKTcq6ReV7bi8leE8oS4y1KCMQz5SaogCpP66IwONcVtBSYCVw6j8Th9Z3eKEymdypH9OZE2QZs7S8miG97u5wEgu2Ko9tfr/R1ffiNy10aie2mA4jBj7z+/1T8kV/h08z8cU12uXxhVwO+u2p+/CXwTeR40ef5Yan4NyUvsaipwQ4WM6Sh8zM0l0j8/na1SiqR1CZTKyqekVdJhidiE2vKddxRER7ae0k78CtpirNvWueAjw+UktDvvMMlEPLLawV6yhhURWTT+G7ioTvvkE7RR50X7ZGRSiMBDmXUHtDXfWCzZdwWKsJVpKn9E14B8EQhUDVcLRRYF3NCg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=iPbcBkvaWCiSUI70nz+V+wCgvnzJEt0u5B8gQKQlhkFh8pBqpV8xjHta3YOtk6WIbb7jhLm4YQN0pxoIG93Y/N9V+ixfipWUdRsYth3iWS95X7RHSwn7on02WiNzBFcANwt8gcV0bYeV2QXSWSs36gX5Wjeh6hYRQ8h8EY9SxLWhrTbYhxxolCTIyHY+nwH6Yfw4siWBHydNhm7X80vHUnHyGVJtM4tLL262AfbEaqdMAf49bBWMHigCrm77Us44o67MNzXm+8l+cH9sJRfelk8909Fkw9M3RdSKoiiMrS7VUrv/sJJbEEuoqxZVWZrWqMjO5tEAiGNnuOzynnmtRA==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ufarooq AT lsu.edu; spf=Pass smtp.mailfrom=ufarooq AT lsu.edu; spf=Pass smtp.helo=postmaster AT NAM12-MW2-obe.outbound.protection.outlook.com
- Ironport-data: A9a23:l6lkwKIxtsydRkWCFE+RuJ4lxSXFcZb7ZxGr2PjKsXjdYENS1WQAz mUYWWnQP/+OZTf0eNgibd/jpEhVscXSytYwSgQd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf6s9JIGjhMsf7b80oy5K+aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuU1fAm6xhEAIPDK4y3+lVHjFlq P4zEWVYBvyDr7reLLOTbMBJ355mCfaxeYQVtzdn0C3TCusgTdbbWaLW6NRE3TA2wMdTAfLZY MlfYj1qBPjCS0EXfA5PV9RkwLvu3yOuG9FbgAr9Sa4f/mba1gt2yZDpK8eTd9CXLSlQthbC/ TqYrjmmav0cHOGCyCG943GRuv/Ohy/jW4wfOKCE0Nc/1TV/wURIU0dKCjNXu8KRgUmnHtlbN kY84TsrtaF09UqxT9C7UQfQnZKflhsVWt4VFvJg7giIk/DT5VzAXDlCSSNdYts7ssNwXSYty lKCg9LuA3poraGRTnWesLyTqFteJBT5M0ciSQNcFAQZoODSg6sWgTDQHv0+EoWM24id9S7L/ xiGqy03hrM2hMEN1rmm8V2vv95KjsiYJuLSzlWGNl9J/j9EiJiZi5tEAGU3AN5FJYedC1ye5 n4NnpHE6+ZUVMvc0iuQXO8KAbeloe6fNyHRikJuGJ9n8Cmx/3mkfsZb5zQWyKZV3iQsKWeBj Kz74Fk5CHpv0J2CMPQfj2WZVphC8EQYPY65Ps04l/IXCnSLSCeJ/Tt1eWmb1H33nU4nnMkXY MjCKZv2UipEVfU6l1JaotvxN5d6nkjSIkuCHfjGI+iPiuXEOhZ5tJ9ZbgTSNbBhvMtoXi2Er YsHbaNmNCmzoMWlOXOLrub/3HgPLHMhAovxpdAffemZOmJb9JIJWpfsLUcaU9U9xcx9z7+Wl lnkAxMw4Aeg2hXvd17RAlg9M+OHYHqKhShT0doEYAr1hBDOoO+Ht88iSnfAVeV9qLA6nKcqE pHouayoW5xyd9gOwBxFBbGVkWCoXE3DadumZnL8OGoMbNR7ShbX+9TpWALq+WNcRmC0rMYy6 fnonA/SXZNJFUwoAdf0ecCf6Qq7nUEcv+ZuAGrOAN1YI3v3/KZQdifes/4QIuM3Eyvl+Ae07 QitLC0jlbH/mLNtqNjtroKYnritCNp7TxZ7HXGEzLOYNhv632uEwK1bW721YALibjrV+bqjV 8pR3frTIP0Kp3cUkoteQpJA77My2MvrnJBelj9bJXTsa0+6LI9gLl2t/9h9hocUypB34QKJC 1+yoP9EMrC3CebZOV82Jjt9SN+c1PsRywLg3d5sLGrUvCZIrae6C2NMNByxiQtYHrt/EKUh5 cwD4Mc2yQiOuiAGA+a8rBJ/1jqzdyQbcqAdqJslLpfhiVMrxnF8cJXsMHLKz6/VWepcEHsBA 2Gyv7XDtYR+10CZUnsUFFrx58R/q6kKmih3yA4lGwzUtPvD3uQ6zT9AwwQRFw519ChK48h3G 2psNnB2G5mwwidVtJB9eF6oSi58B0y/203uylE2unXTYGu2W0fscmAsG+a/03oI0mBbfzJ72 ui8zVjmXQ3LZ+D05DM5AmR+mszgTPtw1wzMo9+mFMK7BKsHYSLpr6utRGgQoT7lPJ8Bv1LGr uxU4+pAU633GioOqakdCYPB97AvZD2bBW5FG9dNwbgoGDzCRTSMxjS+EUC9VcdTLfjs80XjK chPJNpKZiuuxhS1sTEXKq4dEYBaxMdzyoI5RYrqAmoav5+0jDlj6svQ/xejol4beYxllMJlJ 77Bcz6HLHerukJVvG3wt+hBBHuzZIgVRQ/73d3tyt4zKbA4jLhOf30xg5yOhFfEFCt8/hmRg hHPWL+O8cxm1rZXvtXNFodtOlyKDO3dBcWyzRCLktVRbNnwH9/EmCELp3LGYQlHH7sjdO5mt LaKseL08mXggJcqb17Sir2+Rqh73pisUNptM8isEmRotnadU8q9uyk83TixFs1UtNYMv8WIV xWyMtCtRIRER/Zc23xnRCxMGDkNC6nMT/nBpAHsi9+uGxQiwQj8A9f/zkDQbEZfbT0tF6DlL w3J59KCx4t/l5tdIzMiC9VNIY5KEHW6VYQIL9TO5CSlVE+2iVa8i57evBsH6xSQL1KbEcz/s Kn3djKneDuc4Kj3ncxk6apstRgqDVF4s+k6XmQZ3/VU0zmaLmo3Hd4xAKU8KKN/s3LNjcnjR TT3cmEdJz33Xm1EfTXC8d3TZFqjKdJUCOjpBA4C3h2yUDi3NrOiEbE61yZH4lVKQBXB4tyjC +kj/izXAkDs7LBvHOod36nuy6MvjPbX3WkB9k3BgtT/SURWS6kD0Ht6WhFBT2rbGsXKj1/GP nUxWXsCekygVErtCox1Tha5wv3CUO/HlF3ErBtjweozf6295cgZkrjaBLu21bcOKsMXOLQJW HX7AXOX5Hyb0WASvq1vvM81hahzCrSAGc3SwGrLW1gJh6/pgog4F5pqoMbNZJhKFM1j/5f1k iKxpXUyGSxp7WhPjaaOx1xhF41ZCxox4vKgsOI7jTvdjFo0w8Wxl91GCu7kAcmYlpUPdHm0j NvfgIh9brFWWPbZSeFCi8km
- Ironport-hdrordr: A9a23:P3UvpKwMh+1VVe+2MShfKrPxuOskLtp133Aq2lEZdPULSKGlfp GV9sjziyWetN9IYgBHpTnyAtj4fZq6z+893WBxB8bVYOCCggeVxe5ZnO/fKlHbehEWldQtnZ uIEZIOb+EYZGIS5amV3ODSKadC/DDzytHMuQ6o9QYOcegFUcFdxjY8LjzePlx9RQFAC5Z8Po Gb/NB7qz2pfmlSRtinB1EeNtKz7eHjpdbDW1orFhQn4A6BgXeD87jhCSWV2R8YTndm3aoiy2 7YiAb0j5/T/s1TiyWsm1M73a4m1ucJ+eEzRfBkTfJlagkEvzzYK7iJnYfy/wzd7tvfqmrC2+ O82yvId/4DkE85OFvF6icFkjOQrQrH5xLZuCWlqGqmrsrjSD0gDc1dwYpfbxvC8kIl+Mpxya RRwguixu9q5D777VfADuLzJmNXv1vxpWBnnf8YjnRZX4dbYLhNrZYH9EcQFJsbBir15I0uDe ErVajnlYFrWELfa2qcsnhkwdSqUHh2FhCaQlIassjQ1zRNhnh2w0YR2cRalHYd85A2TYVC+o 3/Q9BVvaALStVTYbN2Be8HT8fyAmvRQQjUOGbXOljjHLFvAQO8l3c22sRF2AiHQu138HJpou W8bLpxjx9MR37T
- Ironport-phdr: A9a23:MkAqURzqX1NOYozXCzJGw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z h2ZuqQm1QKSFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PXbglShjewZbx+I Ai2oAjfq8IbnZZsJqEtxxTGpXdFZ/5YyWR0K1yNgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/WfKgcJyka1bugqsqRxhzYDJfIGbOvlwcb/Sc9wVXmdBQt9RWzBdDo+gc 4cDEuwMNvtYoYnnoFsOqAOzCgepBOz10D9Dm3/40rcg0+QmFgHGxRErEtUTsHTattr1LqASU eeszKTTyTXDdO5W1S3j54fVbxAsuPeBVq9/fsTN00cgDR/FjkmOpoz/OTOYzvoBvmeG4udgW u+hi2oqpQ5/rDWy2MsglJfFi4IWx13L9St0xJs5KMOkREN5b9OpHodcuiKeOodqTc0sTH9kt ig8x7Ybt5C7ey0Kx44mxx7Zc/GHaJCI4hb5W+aKITd3mHVleLSlixa160igxevxXdS33lZSt idIncXAumoQ2xDP6MWLUOVx80iu1DqVygzf9OVJLVgqmafaN5IszLs9mocPvUvYHyL7nUb7g aqLekgg/+Wl7vnrb7bgq5SBKYJ0jhz+Mr8ymsOhG+Q2LwkOXmmF9umkyLHu+1DyTq9Qgf0si KbZtYjXJcQFqa69BA9Yyp4t5gq4ATu7ztgUhH4JI1JbdB6eiIjmIE/BLOr/Dfein1SjizBrx +3APrL8GJnNNmLDkLD9fblj90Fc1AszzddZ555ODbEBPe7zWkv2tNzfDR81KRC7w+HiCNll1 4MeX3yAArOBPa7drVOE/P8jL/WOaYMPpjrwJPco6+TzgXMnnVIRZayp0oEWaHC8EPRmOUKZY X/0j9ccH2cFpBA+TOvtiF2bSjNTY22yX78m6j4lFY2mEJ/PRoa2j7OZxie0AoVWZnxaClCLC Xrkap2IW+0QZyKKPs9hjjsEWKC9RI8mzBGirRP1y756LuXP4SAYrpLi1N1t5+LJjx0y9Dp0D 96c026XVW10kHkIFHcK2/U1qktkj1yHzKJQgvpCFNUV6ekDGlMxMoeZxOhnAfjzXBjAd5GHU gD1bM+hBGQMS9sri/EHeUF6Ap32kx7KxS2tGpcRjKHNCZAppPGPl0PtLtpwni6VnJIqiEMrF 5Mn3QyOg6d+81OWHIvViwCCkL7sc60A3SnL/WPFzGyUvUgeXhQjGb7dUyU5YU3b5c/8+luEV 6WnXKkpOxFGzteqLrBXLNDlkAYOX+/tbezXeHn5gGKsHVCNz7KIYpDtfjAA0izHD08duwQI4 DCLORVtTjy5rTfmBSd1XUnqf1uq8eR6ryajSVQoygiRc0B7/5yc30dPwNmjEbYU1L9Cvzo9o TJpGlr7x8jRF9eLuwtmeuNbfM8551BEk2nesmSRJ7SGKKZvzh4begVz5Ab10glvT55HiY4sp W8rywx7LeSZ1klAfnWWx8K4PLqfMWT08B21DsyekljDzNab/LsO4/Ukuh3iug+uDE8r73Rg1 ZFczXKd4pzACAdaX4j2Vw478B1zpreSZSdYhcucyHNlK66zqxfGwM9vCec4i16hc9pZLKKYB VrqCcRJT8OqKeEshx2odkdYZKYLrPFyZZ/6MaLcif3OXq4ohj+tgGVZ7Zoo10uN83E5UevUx 9MexOne2AKbVjD6hVPns8btmIkCaytBewj3gSXiGoNVYbV/OIgRDmL7adC5z895gIfFX2VFs lOvGhlVkN/sYheUY1HniEdN200Npnu+sS+j0np5nyxj/c/9lGTehu/lchQAIGtCQmJv2EztL YaDhNcfREG0bgItmXNJ/G7CzrNA7OR6JmjXGgJTejTuanplSu22v6aDZMhG7NUptz9WWaKye wLSRrn4qhocmyTtegkWjC01fiutvYzRmwdnzm+RMT5/oWHYdsd52RrErICEA6cJgXxcGHU+0 GOGTlGnd8Gk59CVi4vOvoXcHyq6W5tffDOqhYKMuS2n5HF7VBi2nvS9gNriQkAx1S720cUvV D2d8E66O9G0kf7mbaQ+JBg7YT20o9B3EYx/jIYq0ZQZ2HxBw46Q4WJCimDrd9NSxaP5anMJA z8N2d/cpgb/iygBZjqEwZz0UnKFz45vfd6/NykL1Csn6MdTIKOP8fpJkTY/8RKo6BncZ/Rwh GJX1PUn8nkdmskNoxdrwymASON3fwEQLWnnkBKG6Mq7paNcaTO0cLS+40F5mMioELCIpgwPE Ga8YJopGjV8q9luKF+ZmmOm8ZnqIZODCLBb/g3RiRrLiPJZbY48huZfzzQyInrz5DUk07Jp0 UQojMv85M7fbDwwtKOhXkwEbnusP5xVone1yv8A+6Tel4G3Qsc8QHNSBMOuFbTwV2tO/fX/a 1TXSGF69ijdQfyHWlbAoEZ+8SCVGsjyZSjOfSsXkY06FkvaeBw64khcXS1kzMQwTln4nZW4I kklvmtDtBmk+1NN0rw6bRCnCzWG/V76ZGtsE8rPdEIOvFMFuh6wU4TW7/otTXtRpsTz9VXUe GLHP18aBjlRAh7WQA26dri2u4ua+rDBVLPndqnAPe3V++IGD6/al9XyiMMj9jKIfK1jJ1FaB uYgkgpGVHF9QIHCnikXDjcQj2TLZtKaoxG1/mt2qNq++bLlQlCn6YyKArpUedJhnnL+yb+EL PKVjT1lJCxw8LopnCWN7YdFmVkYhmdpaiWnFqkGuWjVVqXMl6RLDhkdLSRuKM9P6KF61Q5IX KyTwt/4zb93iPcpBkwNCQSnw5n2I5ZWfyfkbgKPDV3DLLmcIDzX38z7KbixT7FdlqQcthG9v yqaD162PjmHkGqMNVjnOuVNgSeHeR1G7d3lNE81Vi65EI6gM0fqY7oVxXUszLY5h23HLzsZO Dl4KAZWq6GIqDhfmrN5EnBA6XxsKa+FnTyY5q/WMMVz07MjDyJqmuZd+Hl/xaFS6XQOWfJ8g izVt/ZquEzgn+WSgGkCMlIGunNQiYSHsF83c73e7YVFUG3Y8Qgly0y1Uk5PguQ/T9rltuZX1 8TFk7/1JHFa6dXI8MAABs/SbsWaLH4mNhmvEznRRlhgL3bjJSTUgEpTl+uX/3ueo80hq5Tir 5EJT6dSSF0/Ev5JQlQgBtEJJ417Gy81ibPOxtBd/mKw9VOCIacS9oCCTP+ZBu/jbSqUnaURL QVd2qv2dMwSLtGphxQkOwM8xMKSXBONFdFV/n89Nklt+BoLqD4mCTRtviCtIgK1vC1OT7jtx kZw0k0mJr1xvDb0vwVufgaM+HR2yA9p3oy6yTGJLmyrJf/pD9gPUnj66xBpYMG8H1YQD0X6n FQ6Zm3NH+sD1uI5J2430FSO69wTSLZdVfMWOhZInKPOPqx63wgE8Xf3nRcft7mCVMIH9kNic Iby/ShJg1sxNYdsd6KMfPEbxQAI3vDc+XLxnuEpnl1ELh5UojrLIXwG5BRTZLd+f3L6rKsxs 0THkj9HMgDkstIuue8s+08gabzoJ83I16VebE29Kr7GR0t4k07psJfSB3YPjAYPnUQD+qVq2 8A+dUbST1oo0LaaCxUOM4zFNB1RaM1RsnPUeHTX2dg=
- Ironport-sdr: 65f4c5c1_H6HySrnXrsEkXjih15YMp1FfjXuMMdzEF+XEJnVfSgNOFIi IuMijpzDnle5/kfn/bOy+TdMaHosUL6GzaPJvNA==
- Msip_labels:
========================================================================
PACMPL Issue Call for Papers
Call for Papers
OOPSLA 2024 will be held as part of
The ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'24)
October 20-25, 2024, Pasadena, California, United States
https://2024.splashcon.org/track/splash-2024-oopsla
========================================================================
### Important dates
#### ROUND 2:
Submission Deadline: Fri Apr 5, 2024
Author Response: Mon Jun 3 - Wed Jun 5, 2024
Author Notification: Fri Jun 21, 2024
Artifact Submission: Fri Jul 5, 2024
Artifact kick-tires: Sat Jul 6 - Fri Jul 19, 2024
Submission of Revisions: Sun Aug 4, 2024
Author Notification of Revisions: Sun Aug 18, 2024
Artifact Notification: Fri Aug 23, 2024
Camera Ready: Sun Sep 1, 2024
Papers accepted at either of the rounds will be published in the 2024
volume of PACMPL(OOPSLA) and invited to be presented at the SPLASH
conference in October 2024.
### Scope
The OOPSLA issue of the Proceedings of the ACM on Programming Languages
(PACMPL) welcomes papers focusing on all practical and theoretical
investigations of programming languages, systems and environments.
Papers may target any stage of software development, including
requirements, modelling, prototyping, design, implementation,
generation, analysis, verification, testing, evaluation, maintenance,
and reuse of software systems. Contributions may include the
development of new tools, techniques, principles, and evaluations.
#### Review Process
PACMPL(OOPSLA) has two rounds of reviewing with submission deadlines
around October and April each year. As you submit your paper you will
receive around three reviews and an opportunity to provide an author
response that will be read and addressed by the reviewers in the final
decision outcome summary. There are 5 possible outcomes at the end of
the round:
Accept, Conditional Accept, Minor Revision, Major Revision, and Reject.
### Submissions
Submitted papers must be at most **23 pages** in 10 point font. There
is no page limit on references.
PACMPL uses double-blind reviewing. Authors' identities are only
revealed if a paper is accepted.
- [Coq-Club] Call for Papers -- Call for Papers, Umar Farooq, 03/15/2024
Archive powered by MHonArc 2.6.19+.