coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Tej Chajed <chajed AT wisc.edu>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] CoqPL 2024 CfP: deadline extended to Oct 31st AoE
- Date: Thu, 26 Oct 2023 12:57:08 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=wisc.edu; dmarc=pass action=none header.from=wisc.edu; dkim=pass header.d=wisc.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=tKWtXTuFxs9vGo/HNNYRBumee/durP6W77NAbxQymro=; b=IVOpq7900yF+9RN2A/hGf1FzTop2X68JiWBWNhkbScXgE32QLFf2x/PbgDM0sZvUmo1ig6Y9MNFUUdnBrwPqi8iuRIEc/F/DKLwjq0lmT1WJUl914KKso6POwyxli3BdNpYJ0nGeJ2CIuqeAWBeBO1WkX1QNs1uMN9e25RgJJoAnn8+UtCT8lW1XGxrl96utTExX2Xz9g/zuxNXcYSIcV0XJfsy7ZVL9E/zdh/tQWpURnUiZL+GmamTJCdJa4X+PMhjr95LG8IoWvKJbjHsWA4mSj+51fcgp8YmUhj+IxfCqZTNXRdwYjl2jC/g5rN0Qtqx0t/u1KbSw+PgrI45ggQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=MnS4ukd2YhBL782ZZf8cUu8508MsnIt8q5Geb7aW4kCM7+Q1AqLdJsKF5pDZiRMKx+VITS8oAd7RGpt0PJhedBNi4u6diFGeVD+ZeroGHtawMAR28NkrZD7S4Cf7JU7/oQxXiGhEA/i1+Ubm4dt52x/E5px1kiywJM80DUYi+nVE/zNHrWhIS8bpOksvPtES6EHLxEM81IFImGyWpznYiAedg0tz4EcKQYFBwWwiQmTh4kPrs25GfpF7zIZ3pinOkwGjGCKJgkmcHZmpCTC2S4WtBJhxwW0ez1+EyR9ZjY1p02RxV7zcJm0/oVD/79XXewN6NAHOFcZukTx1J8+OGA==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=chajed AT wisc.edu; spf=Pass smtp.mailfrom=chajed AT wisc.edu; spf=None smtp.helo=postmaster AT mx0a-007b0c01.pphosted.com
- Ironport-data: A9a23:gMNi1a2AWjvDS3ZWCPbD5VN1kn2cJEfYwER7XKvMYLTBsI5bpzEOy mEZUG7UbqyOa2ejeItzO9nk8EgF6J7Sz99lHgQ53Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9gFaYDkpOs/jY8Us14qyr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW2Ps+fZEHG0tBJA3peFGXWB+q 9w/BS9YO3hvh8ruqF66Yux83s1mdJG0NtsU4igm1SnZCu06TJyFSKLPjTNa9G1o24YUR66YP pREL2U2BPjDS0Un1lM/A5I3nuqkrmb+aDYepV6IzUYyyzaCnFAtgeC3WDbTUvqyd/VRgBiJn WTl2330BksxZM6ClgPQpxpAgceUx3+hAtpMfFGizdZhh0TWzWgOAjUNRF6jqL+4jFS/UpRRM SQpFjEGqLhq/QnzFob3Bxbg+Ticph4bQMZdH6sx7wTlJrfoDxixHmg+TRRRRMcfqeBpQg121 2/Xv/TEGmk62FGKck61+rCRpDK0HCEaK24eeCMJJTfpBfGz+enfaTqfF75e/L6JYs7dQm6vn mjbxMQqr/BC0p5RjvTTEUXv2mr0/vD0ohgJChI7t19JAyt8dNasItTwtlKD5q4Zap6BTl6ao HUI3cOZ6Yji7K1hdgTTG43h/5nzvp5p1QEwZ3YzRfHNEBzxohaekXh4um0WGauQGp9slcXVS EHSoxhNw5RYIWGna6R6C6roVZV6l/WwS4i+DKmOBjarXnSXXF/elM2JTR7Jt10BbGBz+U3CE c3KLZr0ZZrkIf02kWvtLwvi7VPb7ntkmTmJHc6TI+WPyaCZY3CNTrYDLB/Gb+Yyqsu5TPb9o 75i2z+x40wHCoXWO3GJmaZKdAxiBSZgX/je9ZcIHtNv1yI9RQnN/deKneh+E2Gk9owJ/tr1E oaVAB4Ilwei2yKXcm1nqBlLMdvSYHq2llpjVQREALpi8yJLjV+HvfhDJagkN6Iq7vJixvNSR vwIMZfISPdWRziNv3xXYZDhpcYwPF6mlCCfDRqDOTIfRp9HQxCW29nGegC0yjICIBDqvuQDo pqh9Djhf7w9eypYAv37VteT3nKqnH1EmOtNT0rCedZSX0P38blVES/6j95pAsRVdTDs6ye/+ y/NMBUyp8zhjpI+0PPOj/ui97WWKvZPRBtGPmjE7ISZMTvR0XqjzLRhDseJX2H5f0Hl9JqyY d56y6nHD8QGu1JRoqxuEK1Oz59iw/fO+5oDlh9FGlfPZHSVUoJQGGGMh5Rzh/cc141nthuTc WPR38tRJpGiGt7vSXwVLyobNtWz7+kewGTu3K5kMXfBxXFF+ZScWh9vJDiKsitWKYV1PK4Dw esMvM036RS1uiE1M+Sp3zxlyGCREkMuC6kXlIkWIIvOuDoZzltvZZ/9CCivxLqtb95KEFchI x7Kpa7kqolf+HH/cCsIJSCQ5dZeuJUAgwAV7VkgI1/SpMHJqMVq1zJs8BM2bD9v8DN578xJN FNGDXZFfZe1w28whexofXydJAVaNRjIpm3z0wQokUPafWmJV0vMDjY0CcCP2EUn8G5nXyN6+ YuAwz3PSgfaf8DW3wozV3V6qvflc8dDyw3alO2jHOWHB5MKWiXkiaqQemY4kRvrLscvjknhp +Mx3uJPRYDkFCwX+YsXNpK70OkOdRW6O2Bye/Ft06cXF2X6ejvp+zyvKVi0S/xdNc7x7k60J Mx/FP1hDy3k+n61kQkaIqoQL5tfvv0jvoMCc4y2A182ieKUqz4xva/A8iT7unQQfOxvtsQAM aLUSSOJFz2BpHlTmlKVlvJ+BEiDXYAmajH/jcePy8dYM7IYseppT1M+7avsgVWRLzlc3ky1u CHtWvbo6tJMmKpQm7niKKFhPzmPCMjSUb2I+T+jst4VYtLoN9zPhjwvqVLmHlp3O7cJUI5Si IayiofW3VzEjpkyQWv2i5mMLIgXxMSQDc58ENP7E2lepgSGAPTT2hok/3y0DbdrgeFtzJCra CXgYfThaONPfclWwUNkThR3EjEfOvzRVbjhrybslMa8IEER/iKfJez26EKzS39QcxIJHJjMC gXUnfKKzfIApaRuAC40Pd1XM6VaEnTCB5R/L8bQsAOGBFaGmlmB47vutSQx4AHxV0WrLpzI3 oLndDPfKjKJp6D6/PNIuddTvzoWLkpHr8seQ0Y/w+Ny2heGVDMoDOJEPZs/X8Qe1mS40Zzjf zjCYVczESi3D3wObRz458+lRQuFQPAHPtDiPDEy4keIcGGMCZidBKd6vDJVi5usluAPEMn8Q T3fxpHxAvR16pR5He9WvqTki79snqqc3moI/lvhnsC0CBEbaVnPOLqNAyIVPREr0emU/KkIG YTxbX9FW0r9RELseSqlU2AAAwkX5VsD0B1xBRpiA7/jV0Gz0+xbw7vyN/ybPnjvqigVDOZme E4bjFdhL4xbNrL/dEfpVx8UbXdINM+2
- Ironport-hdrordr: A9a23:J9MNiK8xD/HDUe95AoJuk+EKd71zdoMgy1knxilNoENuA7qlfp GV7YMmPEHP+UIssSkb6JC9EYGaS3Ld6pJ5paENVI3SejUO2FHCEGgQ1/qg/9SAIVzDygc579 YoT0EQMqy/MbEXt7ex3OFXe+xQ+eVu3siT9N/jJl1WPCZXg5gJ1XZDNu5wencGfjWufKBJKa Z0hfA39AZIG05nL/iTInUeReDMq5nqudbGaQQGbiRXxzVm1gnYzYISeiLwtn1yP1wgoMZEgA 616n2Al97TzoDGu2CsqR6jnuQm66qSu64zTL3GtiF/EETJtu/cXvUvZ1T0hkF4nAjA0idmrP D85zMbe+hj4XLYeW+45TH33RP77Too43j+jXeFnHrKu6XCNWAHIvsEobgcXgrS6kImst05+r lMxXilu51eCg6FtDjh5uLPSwphmiOP0C8feK8o/ihiuLklGelsRL8kjWpo+VA7bQrHAbUcYb 5T5Qfnld1rmB2hHlrkVyJUsZ6RtzwIb1K7a3lHnsSU1hdMmnQR9To4+OUv2lMJ9Jc4Q54B3P jAPuBIlKxVJ/VmTZ5VNaMkScuzDmTLBSnRNW7XBVT8Dq0cUki9iKIeb90OlcOXUa1N6Jcpgp zOXBd5mCoSc1juYPf+8qGjtCq9bVmVbHDV7vAby6JQ/pD9XrDvOS2GREtGqbqen9wvRvT+ar KNNIlNA/nlRFGeNbph7knEQYBbLXRbeMcJutA9Mmj+kf7jG8nQrPXSdPuWHKbgDTphem6XOA oyYBHDYP5b90iuVzvDjAPPV2iFQD3AwbtAVJLzxchW6YgRLOR30jQ9uBCCzvuqbQRYtKc/d0 t6IK72+5nLxlWezCLzx19IfiF2KGt4iY+QMU9ilEsxG3nVNYkOoM+ef2c65grjGjZPC/nOGA pT4296476zMvWrtBEf4g2cQwbq9Uf77Uj6CKv1lsC4lIPYU4J9AZA8VKNrEwLXUxRzhAZxsW 9GLBQJX0nFC1rV+PuYZbEvdb3inuNH8ViWCN8RrWiauVSXpMkpSHdeVzmyUdSPiQJrQzZPnF V+/6IWnbLFwF+UWDsCqfV9NEcJZHWcAbpAAgjAbIJImqrzcAU1SWuRnzSVhxw6Z2Kv/UQPgW 7qKzGSZJjwcwtgk2Ed1ryv/EJ/d22bcU41YndmsZdlHWCDoXp32f/jXNvv74PcAWFymd318A u1Owf6Djken+xfjiTl3gpqPU9Wn6kTAg==
- Ironport-phdr: A9a23:wQhBdRJZR+1CeRSmnNmcuNFtWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFtbM81hSUAM2bs6sC17CI9fi4GCQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajYr5+N hG7oRveusQWgYZpN6I9xgfUrndSdOla22JlKUiPkxrg48u74YJu/TlXt/897cBLTL/0f74/T bxWDTQmN3466cj2vhTdTgWB+2URXHwOnhVHHwbK4hf6XozssiThrepyxDOaPcztQr8qXzmp8 rpmRwXpiCcDMD457X3Xh8lth69VvB6tuxpyyJPSbYqINvRxY7ndcMsaS2RfQ8hRSyJPDICgY IQAFOcOJ/pUo5XnqlcSsReyGw+hD/7vxD9SgX/22LU33fo/HgHEwQctAdIOv27WrNrrKagZT Oe4w7XIzTrZbfNZxyry5ZPGcxAguvGDQah8ftTMxkkyDg7IiEibpoP5MT2PzOsNr3Sb4PR6V eKpk2MqqA98rDiyysoyhYTEhIIbxFDY+Ct2wos4Ody1RVJ7bNOgEpZdtSKXOYt3T84hQ2xlu CQ3x6AbtZO7cyYHzJoqyhjCYPKJdIiI5wjsVOeXITpgn3Jleb2/hw628Ue6zO3wTM600ExFr iZdktnMsWwN2ADJ6sifUPdy4kCh2TOJ2gvO6e9EOVg5mbTHJ5Mh2LI8iIQfvVjZEiPrmUj7j LWae0c59uSw9ejqY6nqq5GZOoNplg3xKaUjl8mhDegkMQUDWnWX9fq42bDm+ED0TqhGg/srm afDqp/aP94UpquhDg9VzIkj7xG/Ai+j0NUXgXUINktJdA6bg4XrIF7CPOz3Aeuij1i2iDdr3 /DGPrr6ApXRMHfMja3tcqp6605Z0AYzzNZf6IxICrwZPv7/Rk/8uMbGAhMnLwC42fvrBdR92 48EW2+DH7eVMKbIvl+J4uIvLfOMZIgQuDvlN/cl5+ThjX0nllAAZqSo05oXaGukEfh8PUqWf Gfsjs8HEWgRpgU+VvDliEWeUT5PYHa/R78w6ikhCI26FYfDWpytgLuZ0SinGZ1Wf3lKBUyIE Xf1bIqJQOwMaSKXIs95iDMIT7mhS4k71RGvrgD20bRnLvCHshEf4Njo08Ew7OnOnzkz8yZ1B oKTySvFG2pzhyYDQyI89KF5u010jFmZh/tWmftdQOBe5btiUg44OJKUm+d6AtL/Viref8yCD luqX4P1UnkKUtstzopWMA5GENK4g0Wbt8LLK7oclrjQQYcx7rqZxH/pYcB013fB0qAlyVggW MpGc2O81eZk7waGIYnPng2CkrqyM7wG1XvG9G6BwGamo0BDW0h9XbiWFWsHaB7upM/irljHU 6foDL0mNgVbzsvXIatDaNDlpUpHX/ylNdjDMCqqg2nlIxGOy/uXaZbyPWUQ2CKIEE8fjwUa5 mqLLyA7Fn+o5jqGUzY2Hgq2JVv08e5ltH63CEQzymlmdmVH0Ly4sl4QjP2YELYI264c/Twms 3NyFUq82NTfD5yBoRBgdeNSe4F15lAPzm/fuwFnW/7oZ6l/ml4TdRh2tELyxl12DItHi80js HItykJ7N6uZ1FpLcz7Q04r3P/XbLWz7/RbnbKCzuBmW29af+KoDwOs5sF6lsQ20VwIj/3hhz 9hJwi6E/JyZRAEWUJ/3TgM2700g/+ycOHNlodqKiDszaPrR0HeKwd8iCeo7xwz1et5eNPjBD wruC4gBANDoLuU2ml+vZxZCPeZI9adyMdn1EpnOkKOtIutkmyqryGpd54UomEmM/ihxRsbX3 o0OhfyUw0HUHye5l1qnvs3tzMpPZTgQE2aX1in/D8hcarA4LuNpQS++ZsawwNt5nZvkXXVVo UWiC10x08isYROOblb50GW8zGwvqGe80Wu9xj1wyHQyq7aHmTfJ26LkfQYGPWhCQC9ji03tK M66lYJSUE+tZgkv3ByrgCSyj6NbraZyI0HMQFxDOSX6MiluX7CxubyLf8NUoMlw7GMNCrz6O A7HDOGk6xIBmzvuBW5f2Cw2e1TI8t3ikhp2hXjcZHd/oXzFeN1hkBLW5djSX/lUjXINQCh1j yWSB0DpZYH0u4/Oz9Ga7L34CDvyM/8bOTPmxo6BqiahsGhjABnk2uu2hsWiCg8ilynyy9htU yzM6hf6eIjikaqgYocFNgFlAkHx781iF8RwiIw10dsb2XEYi5m94nscmiH+PcgRiuruKWEAQ zIG2Yuf6wjs2kBvBm2I3Im/W3mAiJgEBZHyciYd3SQz6NpPAaGf4elfnCd7lVG/qBrYffl3m jpOgetr8nMRhPsF/RY81ijISK5HBlFWZGa/8nbAp8D7tqhcY3yjNKS9xFYr1870F6mM+0ldQ CqrIM9/W3UqtoMmbg+KjyS765m4KoOIMJRJ7EXSykifybcMYvrdj9IsgixqcSL4tHwhkKsgi AB2mIq9pM6BInls+6SwBlhZMCf0boUd4GOli6EWhcuQ0421e/cpUjwWQJvlS+6pGzMOpLzmM QiJCjg1tnacH/LWAwae7E5sq3+HHYqsMjmbI3wQzNMqQxf4RgQXmAcPQDAzhYI0DCiv1JToN R8huTpJ7Qah7ANUyuVzKxTzFGzYoUbgazs5ToSeMAsD7gxG4BSwU4TW5eZyEidEu5y5+VbVd yrBPVwOVD9UHBPdVDWBdvG06NLN8vaVHL+7JvrKOvCVrPBGEuyP3dSp25dn+DCFMoOOOGNjB rs1wBkmPzgxFsLHljEIUyFSmTjKapvRrxe1+CB7ht++6/+tVQ7yr9jqafMaIZB09ha6jL3Wf faXnzp8IC1E24kkwG+Qwf1HhAEY0yo2Ln+1CbQHrjLAQOTbnaodXHt5I2tjccBP6aw7xAxEP 8XW38j02rBPhfkwE15ZVFbll6lBgOQVInq2cl7LGRTTXFxpDSLK2MqxbK+hG+Q4ZAR8sg3os HPDSxDpZj/bzn/xTxCoKv1BgGeQOxkM4OmA
- Ironport-sdr: 653a622a_CaFIrc1DZwzh3KE0vmPE/tluit8OL2LIr5K5lTN6WQ1sbhD tiEYAvbIIRdGgTR+NMBhH3oK9+4kT5Wr9XWdu2g==
=================================================================== CoqPL 2024 10th International Workshop on Coq for Programming Languages -- January 20, 2024, co-located with POPL London, UK CALL FOR PRESENTATIONS https://popl24.sigplan.org/home/CoqPL-2024 =================================================================== Workshop Overview ----------------- The series of CoqPL workshops provide an opportunity for programming languages researchers and practitioners with an interest in Coq to meet and interact with one another and members from the core Coq development team. At the meeting, we will discuss upcoming new features, see talks and demonstrations of exciting current projects, solicit feedback for potential future changes to Coq itself, and generally work to strengthen the vibrant community around our favorite proof assistant. Topics in scope include: - Formalizations of PL research in Coq - General purpose libraries and tactic language extensions - Domain-specific libraries for programming language formalization and verification - IDEs, profilers, tracers, debuggers, and testing tools - Reports on ongoing proof efforts conducted via (or in the context of) the Coq proof assistant - Experience reports from Coq usage in educational or industrial contexts Workshop Format --------------- The workshop format will be driven by you, members of the community. We will solicit abstracts for talks and proposals for demonstrations and flesh out format details based on responses. We expect the final program to include experiment reports, panel discussions, and invited talks (details TBA). Talks will be selected according to relevance to the workshop, based on the submission of an extended abstract. To foster open discussion of cutting edge research which can later be published in full conference proceedings, we will not publish papers from the workshop. However, presentations may be recorded and the videos may be made publicly available. Submission Details ------------------ Submission page: https://coqpl24.hotcrp.com/ Important Dates: - Submission: Tuesday, October 31, 2023 (AoE) - Notification: Thursday, November 23, 2023 - Workshop: Saturday, January 20, 2024 Submissions for talks and demonstrations should be described in an extended abstract, between 1 and 2 pages in length (excluding bibliography). We suggest formatting the text using the two-column ACM SIGPLAN latex style (9pt font). Templates are available from the ACM SIGPLAN page: https://www.sigplan.org/Resources/Author.
- [Coq-Club] CoqPL 2024 CfP: deadline extended to Oct 31st AoE, Tej Chajed, 10/26/2023
Archive powered by MHonArc 2.6.19+.