coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ningning Xie <xnningxie AT gmail.com>
- To: caml-list AT inria.fr, coq-club AT inria.fr, agda AT lists.chalmers.se, cl-isabelle-users AT lists.cam.ac.uk, concurrency AT listserver.tue.nl, haskell-cafe AT haskell.org, types-announce AT lists.seas.upenn.edu
- Subject: [Coq-Club] POPL 2025: Call for Workshops and Co-located Events
- Date: Thu, 13 Jun 2024 11:59:47 -0400
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xnningxie AT gmail.com; spf=Pass smtp.mailfrom=xnningxie AT gmail.com; spf=None smtp.helo=postmaster AT mail-ej1-f46.google.com
- Ironport-data: A9a23:JgdMja0qj0a+4PNhmvbD5ZJ6kn2cJEfYwER7XKvMYLTBsI5bpzRUm jZOWjqFaPbbYGHzfIpxaY7kpExVv5GGmtZmSVRv3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9i1aYDkpOs/jf8E0256yr0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0D2+Md/A2gVBK9bw6F4Ezhl9 aQAFC9YO3hvh8ruqF66Yuxlh8BmIcuyeY1D5DdvyjbWCftgSpfGK0nIzYUAjXFg24YURKaYO 5RxhTlHNHwsZzVfPFEWDp0uneqAiXz2cjkeo1WQzUYyyziCklYgiOe0WDbTUtuJG8ZMjB+qm iXfoGP4BxgobZuRkBPQpxpAgceUwHqjB9NMfFGizdZhiViXg2gSEwE+Tkq+ufD/i0ikWtsZJ VZ80iEptO058FGhZsLsWgWx5n+CpB8VHdRKe9DW8ymIw6vQpgubXy0KEmAHZ9shu8s7Azct0 zdlgu8FGxRUqoanWH201Y627gr1NjpMBm9afRMbGF5tD8bYnKk/iRfGT9BGGaGzj8HoFTyY/ 9xshHhu71n0pZ5bv5hX7Wz6bySQSo8lpzPZCy3SV2Ohqw57PcurO9Lu5l/c4vJNao2eSzFtX UToeeDPsIji7rnUy0Rhpdnh+pn3u55p1xWC3TZS82EJrWjFxpJaVdk4DMtCDEloKN0YXjTif VXevwhcjLcKYyL6N/YoO9zqUZtzpUQFKTgDfqCEBjapSsghHDJrAAk3OCZ8Iki0zBZ8wfxmY /93j+72XCxCVsyLMwZat89GjOZzmXFgrY8ibZ/8yBuj3PKfYnXTIYrpw3PfBt3VGJis+V2Pm /4Gb5Xi40wGDIXWPHOLmaZNdgtiBSZgWvjLRzl/LbLrzvxOQzx5V5c8ANoJJ+RYokiivr6Rr y7mARYElwaXaL+uAVziV02PoYjHBf5XxU/X9wR1Vbpx8yF7Pdz937RVbJYtY7gs+cpqyPM+H bFPeNyNDr4LAn7L8igUJ8u15oFzVgWZtSTXNQqcYR87Y8FBQS7N8YTaZQfBznQFIRe2ksocm Iee8D3nb6ANfClcKfrHSemOygqxtEcNmegpUErvJMJSSXrW84NrCnLQi6Y3Kv4TNSf8wSu+6 DfOJxZFo+OX8ok/3+TUtPrVs6aoDOpMMU5IFEbL7buNFHf7/0jy5aRiQeq3bTTme2esw5qbZ MJR1OPZHMwculRBo65QMu9M4/olxt3No7R68FxVLE/TZQ72NoI6c2i048Zfk4ZsmJlbgFKSc WCS8IB4Pb6pBpvUIGQJLlB4UtXZhOAmoRiM3/EbO06g2TRW+oCAWkBsPxWhrixRAb92EYE9y 9cap88kxF2juyUuL+q5oHhYx0aUIlwEdpcXhJUQLYvoqwgsk3VpQ5jXDA3o65CuNfRIFGQXI QGvuamTvIQEm3L+cEcyG0Pdgstbp5AF4y5RwHE4el+mp9vih90M5iN3zwgZdApv80h447pBA VQzb0xRDoeSzghsn/lGDjyNGRkeJRi3+X7R6loulU/fRXaGTmbmcW83Y76M2Gs78GtsWCdR0 5/F6WTiUBfsJNrQ2AlrU2FbivXTd/5D3Sycp9KGRuOuAIsfTQf+pJOXdU4kikfCENxrol/qv sxozfZURYygEhBIuIw9KY2R9YpIeSC+PGYYHM1QpvIYL1/TaBSZ+GarOUuuXuhvOvaT00uzK /I2F/J1Tx7kiRq/9GEKN5UtfY1xsuUivucZW7XRImUDjbuTgxxpvL/U9Qn8nGUbeMpvo+lsN rLucy++LULIiUt2g2PtqOx2Cli8a/QAZyz+27mR28cNHJQhruptUB8T1p2ZgnarCzZkrimk5 F77W6zrzuJZ2dtNmanoGf59HAmaE474e9mJ1wGRiO5wS+3zH/3AjC4vkWm/DT9qZeMQf/9Vi YWytMXG2RKZnbQuDEHctZqzN4hIwsSQWuBoHNr9ByRYl3HaWevHwRgKy0anI7NnzfJf4ciGQ VOjSc2SLNQ6ZfZU9Ed3WQN/TSkPKv3QRbjygA+AtNKwMwg5/S2bCcK4r1n7QHp+dB4YH7HfU SjK4+2P4PJcp6RyXC40PelsWcJEEQWySJkYeM3UnhjGK3ujnXepmKbozDgk4hH1Uki0Kt7wu 8/5d0KvZSaJmf/6yf9CuNZPpTwRNnF2hNcwcm87+9JbjzObDnYMHd8CMKcpW41lrSjv6K7WP D39TnMuKSHYbwR2dR/R5NfCXADGIscsPtz/BCIi/mLKSiOQKb6DPoBc9XZb0y8rQgfg8eCpF 4hPsDm4dB282YpgSusv9+S2y7UvjO/TwnUTv1vxiYruChIZGq8Hz2FlABELbyHcDsXRjw/eE ADZn4yfrJ2TEiYd0PqMekK53DkctTLrijgqNGKBnIiZtIKcw+lNjvb4PokfF1HFgNsifNYzq bHfHgNhIFx6HlQcvKIov5Qihqoc5TejAJ2hNKG6LeENt/jY14nkVv/uWQIAScgj/EhUFFa1e vxAJZQhLBztFX29E4F6BenEF1ydn57M4/z0YNbDmAL7
- Ironport-hdrordr: A9a23:0q4LGaOJ6rnlt8BcTumjsMiBIKoaSvp037BL7TEWdfUxSKalfq +V7ZYmPHPP+VUssRIb+exoWpPwJE80nKQdieIs1NyZLW3bUQWTXeZfxLqn7Dv6BSXk++JRkY tmebNvEcD9ADFB4foSIzPWLz/j+rS6GWyT69s2Bk0NcT1X
- Ironport-phdr: A9a23:58+XtBznJlqcn/3XCzLPw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z h2Zvqwyxw6RFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PXbglSijexfLF/I BqyoAnNq8IbnZZsJqEtxxTGpXdFZ/5YyWR0K1yNgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/WfKgcJyka1bugqsqBN/zYDaY4+bKeRwcb/GcNwAWWZMRNxcWzBdDo6+a YYEEuoPPfxfr4n4v1YAtRq+BQ+jBOPpyz9IgHD21rA73OQgDw7NwQstHt0IsHTSrdX1MqgSU O+0zKbW1jjDYPZW1i386IjMaBwuvfaMXbdpfMfX1EIgGB/LgE+Kpoz5IzOayP4Ns26D4ud+S ++ii2wqpx1xrDWrxsohi5XFi58bxFzZ9ih13ps4KN23RUN1Y9OqEJlduiWGO4Z1Xs4sQ2Vlt Ds1xLMJpJK2ejUBxpogxx7acfOHco6I7wr4VOaQLjd4nHZld6i5hxqo9kig0OL8WtGu31lWq ypJiN7MtmoC1xHV98OJSeN981+/1TqT0w3f8OJJLEAumabFNpIswaQ8m5USvEnFAyT7hkH2j LKNdkU45Oeo8fnpYrTnp5CCL4J4lgfzObk0lMOlG+Q3KA0OUnCb+eui0L3j+lX0QLBQgf03l qnVqY7VJcYGqqKgDQ9Y3Ycu5wywDzeh19QYkn0HI0xfdB2biIjpPknCIPH+Dfihn1ShiClny +zCM7H7AZjALmLPnKn8cbt+8UJRxws+wcha551OC7EBJPzzWlX2tNzdFhI4PAq0w+DmCNV72 YMfVmOPDbGCPaPdtF+H/OMvI+2WaIAJvzb9LuAp5/j1gnAhg18SYbGp3YcLaHC/BvlqPV2VY WDwjdcZDWcKog0+QfT2h1KYVD5TY2++X6Y95jEgFIKrFpzDR4CogLyZxii3BJxWZmZcClCNC 3jkbYuEW+0UZCKIPsBhiiAEVaSmS4I5yR6usxb6x6N7IerQ5y0Xronu1MN15u3WjRE97yZ4D 8Wb02GXTmF7hHkERzEs3PM3nUsowV6G1e18gudEPd1V/fJAFAkgcdbXyPU/ANTvUCrAeM2IQ RCoWJHuCD49R/o1wsQSeAB2G9ymix3ZxGyxDvtdnLjOBYc9+K/Y23W0Ot1w0W3u0Kg6k0JgS cJKc2StwLN8s0DYAIjCjl+DmqChZIwY3TXR72qZ02eU+l1FXUh2VeGNXXkEZUbSqZHy703PZ 7+nErcqNg8HztSNbuNWe8XklhBPQvHkJdLVbkq1mnysHlCTy7qXKpfydmMbmijRFRsqiQcWq FCHMwc4ByGu61LfAXQ6BVTpYkXj4ehzgHy+R04wiQqNahsyhPKO5hcJiKnEGLso1bUetXJ5w 90VNFO03taNTsGFuxIkZ6JEJ9U0/FZA02vd8Q17JJ2paa541RYFawoimUTo2l1sD5lY19Awp SY6ygxzL62I0V5peDaR3JS2MbrSeSHp5B76U6fNwRnF1cqOvKIG6fA2sVLm6RGvEEsk/GVm3 vFa1nKd4tPBCw9BGYnpXBMR8B5376rffjF7547Q0ih0NrKotzbZx98zLO4syxLlctUGda3YS kn9FMoVA8XoI+sv87SwRjQDOu0atKs9Psf9MuCDxLbuJ+F42jSvkWVA5ol5lEOK7St1DODSj d4DxLmD0w2LWi2Z7h/pu93rmY1CeTAZH3augSniColLY6RufIENQW6wKsyzz996itbjQXldv FKkAloH3oeud3/wJxTt2wtR00sHoHGPli6xzjgymDYs7+Ke0CHI3+X+ZU8fIGcYDGJmjFrqP c21l4VABBnuP1VvzkL1oxqklM057OxlImLeQFlFZX3zJmBmCe6rs6aaJtVI8NUuuDlWV+K1Z RabTKT8ql0UyXCGfSMWyTYlejWtopi8kQZ9jTfXPHB1rXzWacB97Rja7d3YA/VW23BVIUsww SmSHVW6M9SzqJ+EkZHCtO+uVm+JWZhacC2txoSF/njz9ShhBhuxmOq2k9vsHF0h0CP14NJtU D3BsBf2ZoSDO72SCet8ZQEoAVb975E/AYRiis4rg4lW33EGh5KT9H5BkGHpMNwd17isJHYKQ DcKxZbS7m2HkAVzKHSIwY3pV3i1zc5oZt38aWQTki4w9MFFDq6I4acMx3Mk5Arl61iIMb4hw H8U0rM25WQfgv0VtQZIrG3VGb0UEURCfGTtmxmO89GivfBSbWerf6K30Rk2ltSgAbee5wBED SyhK9FyQGkqt5U5bAyftR+7opvpc9TRc98J4xidkhObyvNQNIp0jf0SwyxuJWP6u3Qhje89l x1nm5+g7+3lYy1g+ry0BhlAO3j7fcQWr3v9i6BfmMmG3o2HEZBoGzFNV5ztB6HNcnpapbH8O gCCHSdp4GedH7vZEh+e5W9pqnvOF9agMHTddxx7hZ1yARKaIkJYmgUdWj43y4U4Gg6dz8vka E5l5zoV6w2wul5Wx+lvLRW6TnbHqVLidGIvUJbGZkkzjEkK9wLPPMeZ9O42AyxI4sjrslmWM mLCLwVQUTNSBwrdVgilZOXxo4GHqbTQB/LifaWSJ+/V8qoHCa/OndX2g+4Et36NLpndYCckV qVhnBIFBTcjQ4zYg2ldFXJRzX6cKZ7D4k/7oHU/r9jjoquxHluzo9LeUf0Kdow/nnL+yaaba 7zP2GAgc2sejtVUgiaWgLkHgAxL03EoLmbyV+RG7WmXFerRgvMFVkFALXoiaI0Qqfp7h1coW 4aTi8uphOQg37hlVhEcDwynwobwOoQLOz3vbgqZQhvbcu3Xf3uThJimKaKkFe8K1bsS7Ubh/ 23BVRekZ2Xm9XGhQRmrNaskYDizGhtYtcn9dx9sDTOmV9f6cligN8cxizQqwLoyj3eMNGgGM DE6fVkf5ruXpThVhPlyAQkjpjJsMPWEliCF7uLZNodesP1lBT5xnv5b53JywqVc7SVNTvh40 CXIqdsmr1ajm+iJgj1pNXgG4i5Mn56OtF5+NL/x85BBXTPJ/ktI4znOTRsNoNRhB5vkvKURg tnDmaTvKStTptLZ+cxPYqqcYMmDMXcnLV/oAGuOVFpDHWPtbziPwRADw5TwvjWPo5M3q4bhg s8LQ75fDxkuE+8CT19iBJoEKYt2WTUtlfiaitQJ7Dywtkq0Jo0Ss5bZW/aVGfiqJiyeiOwOd x0OwLX3PYUeHoL+0k1mLFJ9mc6ZfiiYFcAIuSBnYgIu9Q9V92NiS2Qox0//Qgak4XtWGPzt2 xBq1E1xZuMi8Dqq6FAybAmvxmN4gAw6ntPrhiqUeTj6IfKrXI1YPCHzslA4LpLxRwsdheyam EVlMHLJResUgec+M29sjwDYtN1EHvsOFcWshTcfwPiWY7Mj1lEO8k1PKmdI4OLEDd1pkw54K PaR
- Ironport-sdr: 666b1780_v1JCuzlkBnQOc1tmg2W5cxx5morVCXTOxXPbOQ5t90Pwb3B BzlT30PbuddnRXTXAnzaHNcJA/vUG0Tk7rblk9Q==
CALL FOR WORKSHOPS AND CO-LOCATED EVENTS
POPL 2025
52nd ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
Sun 19 - Sat 25, January 2025
Denver, Colorado, United States
https://popl25.sigplan.org
The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025) will be held in Denver, Colorado, 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.
Events focusing on experimental and theoretical topics are welcome.
Proposals are invited for workshops and other events to be co-located with POPL 2025. All co-located events are sponsored by SIGPLAN (http://acm.org/sigplan/).
Workshops should be more informal and focused than POPL itself, and include sessions that enable interaction among the workshop attendees. The preference is for one-day workshops, but other schedules can also be considered.
---------------------------------------------------------------------
Submission details
Deadline for submission: 26 July 2024
Notification of acceptance: 2 August 2024
A workshop proposal should provide the following information:
* Name of the workshop.
* Duration of the workshop.
* Whether the workshop will be Conference-approved or SIGPLAN-approved (see below).
* Organizers: names, affiliation, contact information, brief (100 words) biography.
* A short description (150-200 words) of the topic.
* Event format: workshop; type of submissions if any; review process; results dissemination.
* Expected attendance and target audience.
* Potential PC members - please do not contact them before the workshop is approved.
* History of the workshop.
* Plans for remote participation
Proposals must be submitted in PDF form by email with the subject POPL 2025 Workshop Proposal: [workshop name], to the workshop co-chairs: Christoph Matheja (chmat AT dtu.dk) and Robert Rand (rand AT uchicago.edu).
---------------------------------------------------------------------
SIGPLAN Sponsorship
POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/). There are two kinds of co-located events: Conference-approved (no proceedings) and SIGPLAN-approved (proceedings in the ACM Digital Library). See http://www.sigplan.org/Resources/Guidelines/Workshops/ for more information, including a full listing of prescriptions for Conference-approved and SIGPLAN-approved workshops.
SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy. Proposals for SIGPLAN-approved workshops must additionally include the gender, country of affiliation, and professional status of potential PC members. See https://www.sigplan.org/Resources/Policies/Diversity/ for more details.
---------------------------------------------------------------------
Selection committee
All submissions will be evaluated by a committee comprising the workshops co-chairs, the general chair, and the program chair.
---------------------------------------------------------------------
Further information
Any questions regarding POPL 2025 co-located event proposals should be addressed to the workshops chairs Christoph Matheja (chmat AT dtu.dk) and Robert Rand (rand AT uchicago.edu).
POPL 2025
52nd ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
Sun 19 - Sat 25, January 2025
Denver, Colorado, United States
https://popl25.sigplan.org
The 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025) will be held in Denver, Colorado, 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.
Events focusing on experimental and theoretical topics are welcome.
Proposals are invited for workshops and other events to be co-located with POPL 2025. All co-located events are sponsored by SIGPLAN (http://acm.org/sigplan/).
Workshops should be more informal and focused than POPL itself, and include sessions that enable interaction among the workshop attendees. The preference is for one-day workshops, but other schedules can also be considered.
---------------------------------------------------------------------
Submission details
Deadline for submission: 26 July 2024
Notification of acceptance: 2 August 2024
A workshop proposal should provide the following information:
* Name of the workshop.
* Duration of the workshop.
* Whether the workshop will be Conference-approved or SIGPLAN-approved (see below).
* Organizers: names, affiliation, contact information, brief (100 words) biography.
* A short description (150-200 words) of the topic.
* Event format: workshop; type of submissions if any; review process; results dissemination.
* Expected attendance and target audience.
* Potential PC members - please do not contact them before the workshop is approved.
* History of the workshop.
* Plans for remote participation
Proposals must be submitted in PDF form by email with the subject POPL 2025 Workshop Proposal: [workshop name], to the workshop co-chairs: Christoph Matheja (chmat AT dtu.dk) and Robert Rand (rand AT uchicago.edu).
---------------------------------------------------------------------
SIGPLAN Sponsorship
POPL co-located events are sponsored by SIGPLAN (http://sigplan.org/). There are two kinds of co-located events: Conference-approved (no proceedings) and SIGPLAN-approved (proceedings in the ACM Digital Library). See http://www.sigplan.org/Resources/Guidelines/Workshops/ for more information, including a full listing of prescriptions for Conference-approved and SIGPLAN-approved workshops.
SIGPLAN-approved workshops must respect the SIGPLAN Diversity Policy. Proposals for SIGPLAN-approved workshops must additionally include the gender, country of affiliation, and professional status of potential PC members. See https://www.sigplan.org/Resources/Policies/Diversity/ for more details.
---------------------------------------------------------------------
Selection committee
All submissions will be evaluated by a committee comprising the workshops co-chairs, the general chair, and the program chair.
---------------------------------------------------------------------
Further information
Any questions regarding POPL 2025 co-located event proposals should be addressed to the workshops chairs Christoph Matheja (chmat AT dtu.dk) and Robert Rand (rand AT uchicago.edu).
- [Coq-Club] POPL 2025: Call for Workshops and Co-located Events, Ningning Xie, 06/13/2024
Archive powered by MHonArc 2.6.19+.