coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Yao Li <liyao AT pdx.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] PLMW@PLDI 2024: Call for Lightning Talks on Research Group Openings
- Date: Tue, 21 May 2024 12:50:18 -0700
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=liyao AT pdx.edu; spf=Pass smtp.mailfrom=liyao AT pdx.edu; spf=None smtp.helo=postmaster AT mail-oi1-f172.google.com
- Ironport-data: A9a23:IEuDSqkD71Al0vHSxisyNKno5gxZIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIeWj+BOPqIYWDwLognaYXlp01VuJDWyNQySgtv/i89RVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82AyajJ8B56r8ks14Kyv4mpA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN03KWczAYozxd1nAGNqx /kFEmk1RR6q0rfeLLKTEoGAh+wmJcjveYQe4zRulG6DS/khRp/HTuPB4towMDUY3JgfW6aDI ZNHNnw2M06ojx5nYj/7DLo6nfahgVHnfy0epV6IzUYyyzGNklMqjua8abI5fPSSX8ZNxx/At F75oV/7A04wFtfB1zSKpyfEaujnxn6iAN1DStVU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1ha079UjuSdikGhPh/yTCsRkbVN5dVeY97Wlh15Y4/S7AI04BcjlqV+c2tc0Sdzk37 AaxtN3AUGkHXKKudVqR8bKdrDWXMCcTLHMfaSJscefjy4m8yG3UpkKQJuuPAJKIYsvJ9SYcK g1mQQA7jrQXyMkKjuC1pA+dxT2roZfNQ0g+4QC/soOZAuFRNdfNi2+AsAezARN8wGCxEwjpU J8sxpj20Qz2JcvR/BFhuc1UdF1T296LMSfHnXlkFIQ7+jKm9haLJN8Jvmoneh03a5pUJVcFh XM/XysBtPe/21P6PcdKj36ZUpRCIVXITIi7CamPN4AmjmZZL1PapnwGibGsM5DFyxV1yf5uZ /93gO6jCnEVDakvzTy9AY8gPUwDl0gDKZfobcmjlXyPiOLADFbMEOttGAXUMogRsvjfyC2Lq Ik3Cid/404DOAEISnKKqdJ7wJFjBSRTOK0aXOQMKL7ae1A4Qz54YxITqJt4E7FYc21uvr+g1 hmAtoVwkTITXFWWdl3YWWMpc771Q5d0oFQyOCFmbx7i2GEubczrpO0Tfoc+N+tvvuFy7+9Gf 99cceW5A9NLVmvm/RYZZsLDt4BMTkmgqj+PGCuHWwIBWaBcaTbHwOK5QTu3xhIyVnK2keAcv 4yf0hjqRMtfZgZ6U+fTRvGd73Kwmnk/h9BSUFb6HeMKWUTz8bpFLz76oe83LvotdzTC5Gq+/ CSHDSgIodLip9cOz+DIoqSfvqGrOedaNWhLLVnxtLqZG3HTwTu+/NVmTu2NQwH4aEr136eTP cNu0PD2Naw8rmZg6oZTPe5i8vMj2oHJubRf8wVDGUfLZXSNDpdLACGP/etLh5136o5pgymEc WPRxYACIpSMAt3vL3AJLgl8buij6+AdqgOP0dsLenfF9A1F15vZd35NPiu8qj1Xd5p0F4IH/ d0PmuAr7y6Htx57Fere0w518TyXI20iQpcXkMgQILXWhzoBznBAZp3hCRHK3qyfVuUUMmcWD 2+VoIHgm4VjwlHzditvNHrVgstYq5c8mDFL614gO2W2nsHhua4v+SYI9BELRRVxyxlZ2bh/I VpQak9/f/2P2xxKh8FzeX+mNC8cJR+e+233k0Aokk+ARWaWd2X9Fk8PEsfTw1I87ERdYSl9w LGU7E3HQATaVpj98QVqUHE0tsG5a8J68zPzvfyOHuOHLsEcWiXkiKr/Xlg4gULrLu1pjXKWu NQw2vh7bJD6Eisio6cbLY2+/pZIQTCmIF1ye91QzJkrL0r9Jg7rgSOvLnqvcPxjP/bJqE+0K /J/L/J1CiiR6ny8kSA5N4UtfZlPg/8b1PgTcOjKJEkHkYelgBhHjZbyzhX61UgXG4hAsMBlM Y7AVSOwIkrJj1tupmL9hs1lOG25XNo6WDPBzN2FqOUkKpZSn9xvIGcT06S1tUq7KAFI3QyZl yKdar70z95N85VNnYztGYp5WyGxF9D/b8WT0QWJq98VR8j+AcTPkAI0q1fcIAVdO4UKael3j bigtN3W3lvPmbQHTFDihJiKEpdW6fWIXOZ4Ntz9KF9Yl3CgXPDAzgQi+WfiD7B0i/JYu9eaQ jWnZPuKddI6X8lXwFtXYXN8FzcfE6HGUbfylxiirvijCgkv7iKfFYmJrUTWVGB8cjMEH7bcC QWu4van2Y1+nbR2XRQBA6lrPo98LFrdQpAZTtzWtwSDL2yWk1iH66rDlx0h1GnxMUO6Mv3Gu LDLehuvUy6JmvD4/IkM+cg69BgaF210juQMb1oQsYw+wSyzCGkda/8RK9MaA5VTiTb/z4z8e CqLVmY5FCHhRn5RRH0QOjg4stu3XYTi++sVJwDFO2uRYiayQYSBWf5vr3g6pXhxfTTnwaesL tR2Frgc+PSu6skBeArRzqXTbSRbKjfy3n4Yv03xjqQexj4AVK4S2iUJ8BVlDET6/gKkqKkPD XA5VSZJTFzTpYsd1yp/UyY9JSz1dw8DA9nlgeljDTofV0imIDV89cDC
- Ironport-hdrordr: A9a23:VxbTiKzHYFkSRrP7r45HKrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo=
- Ironport-phdr: A9a23:Ws8J6Bw+AH0JNDTXCzLdwFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z h2Zv6s3xwaSDc3y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNZwhEniSxbLJsI Bm5sAncuMobipZ+J6gszRfEvnRHd+NKyG1yIl6dgwjy7dqq8p559CRQtfMh98peXqj/Yq81U 79WAik4Pm4s/MHkugXNQgWJ5nsHT2UZiQFIDBTf7BH7RZj+rC33vfdg1SaAPM32Sbc0WSm+7 6puVRTlhjsLOyI//WrKjcN+kb9boAm5pxNh34HUfI+bNP17fqzHfNMaQ3dKUsJeWiFFB4+xa ZYEAegcMuZCt4TyqFsAoxW9CwexGu3g1iRFiWXq0aAgyektDR3K0Q4mEtkTsHrUttL1NKIKX O+31qbIyijIYfVX2Tzg74XIdhEhoPGWUrJ3asfR0VQgFgzfglqOtIPlIiqY2+IQuGeU8+RuT /igi3I7qw5vuDivwN8hhpXXio8V1FzJ6Th0zZo1K9C5R0B1b92pHpVTuiyZOIZ7QswvTnxot Ss7xbMItp61cSkFxpkk2RLSa/OJfoeU7x/lSe2fLzB4hHd/d7K+gRa/6UagyurmVsmxy1ZGt CVFkt3SuXwVzBzT68eHSuN5/ki73zaDzQfT6vtLIUwsiKrbLpohzqQumZUOrETOGDL9lkbuj KKOaEko5uyl5/7kb7jmvJOQKo55hwPkPqgzmMGzH+I1ORUQUmif5OS8z6Hj8lPjQLtXj/03k 7fWvYjGKckdu6W3GRVa0pw55Ba6Fzqm0MoXnX0ALF9dfRKIlYnpO1XXLPD/DPeznk2gkDl2y /3EILHtGJrNLn/EkLfuebZy9VRQxxY0zdBa/55UC7cBL+zvWkLpqtDUEhs0Pxa3zuvnEtlxy 4ITVGCVDqOEMq7er0eE5uc1LOmNYI8Vtiz9K/8g5/P2iX85mF8ccrOu3ZYMcHC3A/tnL1+Hb nXxn9cNCWEKsREmQ+zwlFKCSSJTZ2q1X68k+z03EJimApvbRoCxnLyB2z+2EYFRZmBfE1yDD XPod5ifVPoXcyKTIsphkiQeWrS7So8h0wuutA7gxLZ9IOrU4H5QiZW2399soubXiBsa9DpuD s3b3XveYXtzmzY5Tjh++KE39Uh8216E+bB0k7pVGcEFtKABaRszKZOJl78yMNv1QA+UIobho DeOR9ynBWt0Vdct25oUZE07Hdy+jxfF1i7sArkPlrXNCoZnurnE0S3XIMBwg23DyLFnl0MvF 89OJGShrrZz507eC5Oa216BmfOSfL8HlDXI6H/FyGOPuE9CVwslVaTUVHc3fkfG69n1+xCKV KegXJIgNAYJ0sueMu1KZ9nu2E1BX+vmMc/CbniZnm6xAVOPx+rJYtO1ISMS2yLSDEVCmAcWl ZqfHS45ACrp42fXDTg0UEnqf1up6+517nWyUk4zyQiOKUxnzbu8vBAP17SaTLsI07QItT1Ey X08FUuh39/QF9uLphZwNKRab9Qn5V5b1GXf/wVjN52kJqpmixYQaQNy90/p0hx2DM1Hn61I5 DsuzRt7LoqA3EMHej+FnNjxNrDRNmju7UW3caeFklra0duQ5uIO8KFi8wSl7FzvTxR9tSw4i YowsTPU/JjBAQsMXIikV08280I/vLTGemwn4IiS03RwMK6yuzuE2tQzBeJjxAzzGrUXeK6CC gL2FNUXQsa0L+l/0VyofxsDFPhe5Og5M97sJLOWnbWmOupthmfsiWVW6YdVyk6csSdwV6Sbu vRNi+Hd1QyBWTDmiV6nuc2igoFIawYZGW+nwDTlDopcDkFrVb4CEnzmY8i+x9EkwoXoR2Yd7 lmoQVUPxM6ufxOWKV37xwxZk0oN8zSrni6xzjo8lD9MzOLX2C3fyuPKbBYXfGNHWSFugEztL o69k90BFBLwPk55yV38uxm8nvcB7K1kZ3HeW0JJYzT7Iyl5X628u6DDBqwHoJIkvCNLUfitN FWTS7rzuRwfgGvoG2pTwix+din/4M2o2UwnzjvDczAq8yCKHKM4jQ3S79HdW/NLiz8PRS0iz CLSGkD5Jd6iu9Odi5bEtOm6EWOnTJxaNyfxnubi/GO243NnBRqnkrW9gNriREI+0D7y0PFyW TWOoRrhKNqjx+GhPORrc1M9Tlv9+sN9Mplygs09iIxaih14zt2FuHEAl2n0K9BS36nzOWEMS TA8yNnQ+AH52UdnIyHB18fjW36a2Mcke8iibzZcxHcm984TQvTxjvQMjW5vr1G/tw6UffVtg mJX16418HBDy+AR5Fh2k2PEU+hURxUHe3SrzUjA7sji/vsLIjz0Kv7pihI4xZf4XdTg6kldQ CqrJMlkRHcqqJ05aBWWiDXy8t22JoeWN45C8E3M1U+H1bAdKYptxKVQw3M7fzus5zt9jLdr6 H4mlZCi4NrYdyM0pv//WlgAcWSrL8ILpmO01fYYx5nJmdDpRtI7Q30KRMe6FK3zVmtD6bK/c V7JSWNZyD/TGKKDT1XHuQE28jSWScDtbzbOezEY1YkwHkDDYhEPxllFBnNi2cdoXgGymJ67K Rk/vGtAoAWi7EMLk7MNVVG3RG7boE3Ahi4cbp+ZIVIW6whD4x2QKsmC9qdpGCoe+JS9rQuLI 2jdZgJSDGhPVFbWT1bkdqKj49XN6Y36TqK3MufObLOSqOdfS+bAxJSh1ZFj9iqNMcPHN2drD vky0E5OFX5jHMGRlzIKQi0R3yXDCqzT7A+74TFyp9uj/e7DXQvu4c6ICuIXP4wwoVa5hqCMM +PWjyF8aH5Z2p4K2X7U2e0f0VoV2EQMP3GmFbUNszKITbqFwPcGSU5GLXota40RsPhvu2sFc dTWgd70yLNi2/s8ClMfEEfkhtnsf8sBZWe0KFLAAk+PcrWAPzzChc/tMsbeAfVdivtZsxqot HOVCUjma36HlijgUDi3PfEKgS2Gdk872sn1YlN2BG7vQcizIAW8K8NyhCYqzKccg3rLMSsbM GE5fRoS9Puf6iRXhvg5EGtEpCkAT6HMi2OS6O/WLYwTuP1gD3Fvlu5U1389zqNc8CBOQPEdc Mr6q9dvpxShk7DKxGM4ClxBrTFEgI/NtkJna/2xHnZoQXrUuh8B8DfJY/zvj8NpGpvit70Ck rDy
- Ironport-sdr: 664cfb07_pYV/1ExZLCkj4ZL4NbbSUf9TOKrCI+oWryeoP4ubY0M5saO yurnMj9fHRPjF03SjsQjmcKs0/vnBnqUeg8w/qw==
Hi All.
If you are attending PLDI this year, this might be of interest to you.
We are experimenting with new ways of networking at PLMW@PLDI’24 through "Lightning talks on research group openings". If you have (or anticipate) an open position, either in academia or industry, full-time or part-time—you can now leverage PLMW to advertise that position. The definition of the opening is to be interpreted broadly.
Towards this end, we would like to invite lightning talks describing the opportunities in your groups. At this point, we expect the talk to be anywhere between 5 to 10mins. Depending on the space, we may tighten the time to just 5mins closer to the program.
Please fill this form by June 5th if you are interested. Note that the talks are in-person. The event is on June 24, 2024.
You can check out https://pldi24.sigplan.org/track/PLMW-PLDI-2024 for more details on the PLMW program.
If you are attending PLDI this year, this might be of interest to you.
We are experimenting with new ways of networking at PLMW@PLDI’24 through "Lightning talks on research group openings". If you have (or anticipate) an open position, either in academia or industry, full-time or part-time—you can now leverage PLMW to advertise that position. The definition of the opening is to be interpreted broadly.
Towards this end, we would like to invite lightning talks describing the opportunities in your groups. At this point, we expect the talk to be anywhere between 5 to 10mins. Depending on the space, we may tighten the time to just 5mins closer to the program.
Please fill this form by June 5th if you are interested. Note that the talks are in-person. The event is on June 24, 2024.
You can check out https://pldi24.sigplan.org/track/PLMW-PLDI-2024 for more details on the PLMW program.
- [Coq-Club] PLMW@PLDI 2024: Call for Lightning Talks on Research Group Openings, Yao Li, 05/21/2024
Archive powered by MHonArc 2.6.19+.