Skip to Content.
Sympa Menu

coq-club - [Coq-Club] POPL 23 -- Call for student volunteers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] POPL 23 -- Call for student volunteers


Chronological Thread 
  • From: Konstantinos Kallas <kallas AT seas.upenn.edu>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] POPL 23 -- Call for student volunteers
  • Date: Fri, 14 Oct 2022 12:08:31 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=kallas AT seas.upenn.edu; spf=Pass smtp.mailfrom=kallas AT seas.upenn.edu; spf=None smtp.helo=postmaster AT mail-pj1-f53.google.com
  • Ironport-data: A9a23:BbF+TqzPQ7waWbUTqPl6t+cDwirEfRIJ4+MujC+fZmUNrF6WrkUCx zEcWDqDaPiDM2Kkc9Eia9iz801X75DSxtRqTARq+1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOKU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEALjimMc3l48sfrZ8ko35aiq4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0aBuoNf6zXaDXcO7jEmYYybd6ahUXGIkZIMK1f55IHxI+ qlNQNwNRkjra+Oexbu6Tqx0hJ1mIpSweowYvX5kwHfSCvNOrZLrGf2bo48Fmm1p2IYTRp4yZ OJBAdZrRBfJZxlGIX8MBZsl2vqwi3/5NTBUtTp5oIJpvjKPlFMvi9ABNvLZdfmvRp5wnHyXo 37Z4FTVPBIbHcKAnG/tHnWE37eTx0sXQrk6H7qhs/VunVe73X0WEBRQVF2hoPD/hFTWZj5EA 0kd+y5rtaprsUL2FZ/yWBq3pHPCtRkZMzZNLwEkwEKJlLqJ0izEPDgnXGdPevM+uu4rQzN/g zdlgOjVLTBotbSUT1eU+bGVsS6+NEApEIMSWcMXZVBavIS78enfmjqKH4kzSvfk5jHgMWiom 2jikcQou1kEYSc2O0iT+FnGh3e0pMGMQFNuoArQWW2h40VyY4vNi22UBbrzvacowGWxFAHpU J04dy62srpm4XalynflfQn1NOv1j8tpyRWF6bKVI7Ev9i6251modp1K7Td1KS9Ba5haJGG5P R+I4lwNtPe/2UdGi4cnM+pd7Ox6ncDd+SjNC5g4k/IUM8crLVDXlM2QTRDMgTiFfLcQfVEXY M/HK65A/F4VDqNoyDfeegvu+e5D+8zK/kuKHcqT503/j9K2PSfJIZ9YbgbmRr1mtMus/l+Jm /4BbJDi40sEAIXDjtz/q9F7waYidihlW/gbaqV/Koa+H+aRMDpxUaKMmOl9IdENcmY8vr6gw 0xRk3RwkDLX7UAr4y3TApy6QOK3B8RMvjggMDYyPF2l/XEmbMz9pO0cbpY7N/1vvuBq0fc+H bFPdtSiE8Z/bG3N2w0cSp3h861kVhCg3jyVMwSfPTMQQp9HRi7ywOHCQDfBzic1IxCMhZMMm IH4jgL/argfdjtmF/fTOa6OzUvunH0zm9BSfkrvI/tBSnrC4qxsFTPDsaIqB8QyKhn45yC70 jyOCkwyvtj9oI4S8fjIi5ubroyvLfBMI0pCE0Tf7pe0LSP/7EP65aNhCcGmJSv8UkHw84WcP dRl9en2aqA7rQwborhCHKZO5oNgwdnW/ptx7BluRVfPZHSVUoJQGGGMh5Rzh/cc141imFWEX 2yU8YNnIpSPAsTuFWARKCcDbuiu0fI1mCHY3c8qIXfVtTNGw76abXp8ZxW8qjRRDL9QArMXx e0MvM036QvmhCE6bfeArCRfrFqXIlI6Dq4Ii5A9Aa3QsDQN9G1sW5LnJxHT3ICucPRJa0kjH S+VjvHNhpNa3UvzTEAwHnnsg8tY3JQHhw9Wx3AFN3C2q4Pgl6Ix1kcA9z4YcxlklERb8uNsO 1pEM19+CrWO8gxJ2ulCfTGIMCNQCCKJ/nfezwMyq1TYaE2zREnhHXYYO9vRzHsG8mlZQCdXz IuYxEnhTzzuWsP7hQk2ZmJItN3hSoZX2jDZucX6AfmAIYY2UQDljoCqe2AMjRntWuE1pU/fo NhV7PRCUrL6OQEQsp8EJdGjj5pIcy+9JUtGXf1F14EKFzuFeDiNhB6/G3roccZJf/H34Uu0D vJ1Hf12VjO86neqjisaDqsyMbNLjKYXxN4dSIjKe08CkZWi9wRMjryB2BT6tmERR/dWrf0cM aLULjKLLXyRjyBbmkjLt8h1BVC7atglOiz6+uSEwMAUG6IptOtpLVwA7YHtnnSKMTlI+wCfk xPDapT3kc1j69VItKn9HppTAz6bLYvIa92J1wSoofFiUMjqM/qShzgKq1LiARtaDYERV/tzi 76Jltz9h2HBg5obTEHbnMOnO5RSxMDvQtdSDN37HENakQSGRsXoxRkJoEK8CJ5RleJi9tuVf BS5ZOSwZOwqdY9knlMNUBdnEjEZF6jTRYXjr3nkr/2zVz4s4TaeJ9ajrXLUfWVXcxETAKLHC yj2haee1ogN5sAEThoJHOpvDJJEMUfuE/luPcH4sT6DSHKkmBWes7/ljgAt8izPFmLCKsvh/ JbZXVLrQXxeYk0TIA1x6OSefyH7DUqRRcE1d0MZvsZ00nW0UTVAIuMaPpELTJpTl0QeEX0+i C7lNAMf5efVBFyosikQJPz4Uw6EQPEWN9H/YDEl4it4rg+oUZiYDuIJGjhIuh9Ll/iK8A1jA coT82a2IwC8xJcvSOoOjhB+bSGL2duCrk81FYvBfwAezvrQ7XjmFJCsIeaVaRH6Lg==
  • Ironport-hdrordr: A9a23:AgHIVaumh8I+sXHWdOv0ZC5C7skDe9V00zEX/kB9WHVpm62j5q eTdZEgvyMc5wxhO03I9erhBEDiexLhHPxOkOss1N6ZNWGMhILCFvAG0WKN+UyFJ8Q8zIJgPG VbHpSWxOeeMbGyt6jH3DU=
  • Ironport-phdr: A9a23:rIRKwRJ7JVNXcnyyHNmcuLtsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrM23AWCDNuTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7ye6/94fdbghLmjaxbrd/I RSrpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+V rxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs7Xims7 7pwSB/wligIKyI5/m/Qisx1lq1boRShrAF7z4PbZIyZMfxzdb7fc9wHX2pMRsleWSxPDI2/c oUBEfYOMP1CoIXhvVYDtweyCRWuCe7p1zRGhmX23ao/0+k5FA/G2wogH8kSsHvOqtX1KKYSU eayzKnT0D7NaulZ2TP56IfSaRAqvPaBXbFqfsrVzUkgDRjFg06LqYP7JTyVzf4Bs3WD7+V+U +KvjXQrpB9srTiy38ohjJTCiY0JxF7e7yp53Jo1KsOiSE59edOpHoVcuiKYOoZrTM4uX39kt Ds5x7AEp5O2figExYo6yhLCd/GLb4mF7g/+WeuVLzl0mnJodrKxihu88EWtxO7xW8+p21hEq SpFl8PDtnEL1xHL8ciHS/R9/l+l2TmV0QDf8OZEIVo7labDJZ4hxaQwlp8IsUjZES/2nFv5g amLfUsn4uil8/rrbqniq5OGNIJ5ihvyProzlsG+G+g1MgYDUm6G8uqmzrLj51f2QLBSg/02j KbZtJfaKNwepqGjAg9V1p8v6w69Dzu7ydgYk3kKIVxfdBKIiIjpPF7OIPTmAvuln1uslzJry +jHPr3nHJrNMmDOnKn9cbt58UJRywo+wcpB655JC7wNOvL+V0HpuNzdFBA5Mgi0w+j9CNV60 4MTQWGPDbWdMKPWq1CI/fkiI/KSa4APozbxMeUl5+bwgn8/n18RZ7em0oYKaHygGPRpOF2WY WDwjdcZDWcKog0+QfT3hFGaSz5ce26yX74g5jE8EI+pEYDDRpm0jLOd2Ce7A4ZZa3tdClGMF Hfob5+LV+0NaCKUOM9hkyYLWaKvS487hlmSs1rxzKMiJe7J8AUZs4ji3Z57/b79jxY3oB9zC d+B2meRTmdzhSsrTjsy1bs39U90zlOKyoBjjvVDU8FL6vVPFAo2KMiPnKRBF9nuV1eZLZ+yQ 1G8T4D6UFnZL/o0yt4KOQNmHsm6ywrE1GysCqMUkLqCANo19Ljd1j7/PZU10G7IgY8miVRuW c5TLSu+nKcq9AHXA4fSu16Unr3saLwR2iiL+WueniKVpE8NaAdrSu3eWGwHIE7frND3/ETHG rynDbAuKSNaxMeZbLZSZ9vvy1hKWaSrI8zQNkS2nWr4HhOU3vWMYY7tLn0axznYAVMYnho7+ H+HMU0mBH7krT+FSjNpEl3rbgXn9uwWRGqTaEgywknKakRg0+Dw4RsJnbmGTPhV2LsYuSAno jEyHVCn3tuQBcDS7wxmNL5RZ98w+jIlnSrQqhB9M5q8Lqtjmk9WcgJ5uFnr3gl2DYMImNYjr Xcjxg5/YayC11YJezSd1JH2crrZTwu6tBOmb6rfwXnF3d+NvLoX5fI+7VjvoUDhF0Yv9Wlmz 8gAy2GVtd3BCAsfV460U15irUAr4eGHJHNkucWJji4JU+H8qDLJ1tM3CfFwzx+he40aK6aYD EroFMZcAcGyKessklzvbxQePekU+rRnWqHuP/aAxqOvO/5t2Ty8imESqoN01kaF7AJnR+fTm YsdzveemAaLSn2v6TXp+tCygo1CaTwISyC8wCzgDZV5faB7ZsAWEWqoJYu6ysg01PuPEzZIs VWkAV0BwsqgfxGfOkf80QNn3kMSuXW7mCG8wlSYihkRp7GElGzLyuXmLl8cP3JTAXNlhhHqK JS1iNYTWA6paRIonV2r/xSyy69eraV5Z27dJCUANyv/K2VrSYOru7OZJdNX5ZUu9yhbTaywb EubRbj0vxYBm3m7Ti0OmXZhLm/s586xlgcykG+HKXdvsHfVHKM4jQzS4tDRX78Z3zYLQjV5l SiCA1G9O9ez+tDH35zHs+24SyegTsgJKXitnd7G7nLlozAxUnjd17ipl9bqEBY3y3r+3thuD 2DTqQrkJ5Ps3OK8OP5meU9hABn97dB7E8dwiNhV5tlY1H4Ei5GS5XdCn330NIAR2qv6aHMWb SUGysWT/RDo3kslI36UjdGcND3V0o56at+2b3lDkCE068RDE4+P4bVf2zZtr1y+6w/dfLIu+ 1VVgetr43kcjeYTvQMrxSjIGbEeE35TOin0ngiJ5dSz/+1HIXyier+q2A9ijMisWfuc9xpEV i+zKfJAVWdgq99yO1XW3Djv55H4LZPOOMkLuETckg+c3bMIbstgzrxQ2XUhYSWn4TUk07Jp0 0Aoh8rh+tHZcyM1u/voZ3wQfjztO5FNpHe01fwYxoDOmNr3VpR5RmdVAt2yEaPuQGpU7bO9b 06PCGFu9S3dQOaZRF7Frh8h9iKqcdjjNmnLdiZFi4w4GV/FYhQY2V5cXS1mzMdhRkbzm5OnI AEhoWpIrl/g9kkVlbkubkijFD+Z/EDxNFJWANCeNEYEtFkToReId5XEvqQrWHgHtpy58F7Xc zLdOlQOVDBTHBTDXgGrP6Hyt4OZra7CXbv4dKGIOfLX+Ik8H7+ezJarmOOK5h6qMcOCdjlnB vw/gA9YWGxhXt7ekHMJQjAWkCTEa4iaog2982t5tJL39vOjQw/p6YaVbtkaedxy5xC7h7uCP O+MlW54LzhfzJYF2X7PzvAWwlcTjyhkczTlH64HsGbBS6fZm6kfCBB+CWs7LMxT86c1xRVAI +beg9Lxk6Z617s7VgwDWlvmlcWkI8cNJiD1NV/KAlqKKKXTJTDPxJKSA+v0QrlRgeNI8hyo7 GzDQgmzY3LZzmevCkv8VIMExDuWNxFfpoynJxNkCGy5CcnjdgX+Kth8yzs/3bwzgHrOc28aK zl1NU1X/djypWtVhOtyH2tZ4z9rN+6Bzmya5u3cI40+qvZiGWJpj+9c5jI3x6Yfv0QmDLRl3 TDfqNJjuQTsiu6U1j9uSwZDsB5OjYOP+F1gYODXq8IGVnHD8xYAq26XDl5ZwrktQs2qsKdWx N/Vkav1IzoX6NPY8/wXAM3MId6GOn4sWfIIMDvdDQ9AVTzycG+C3ApSl/ad8nDTpZ8/+MCEc H8mUbJSTxooDv4cDAJoEMFQeP+fsRs/nLeAytMQ6Hy46hTdWZcD1q0=
  • Ironport-sdr: 63498989_n0CZVeMiVDleLCK+iWPzCW00N4NPWV9PUO66dhjB3x0oM9L ddDnc3VyPLpSKnR75qq4k3MIfZCs8JFd5u9hO5A==

POPL (https://popl23.sigplan.org/) is a leading forum for the discussion
of all aspects of programming languages and programming systems,
from theoretical to experimental aspects. In order to smoothly run the
conference and associated workshops and tutorials, we need student
volunteers to help out on the practical aspect of the organization. All the
events associated with POPL ’23 will take place from Sun 15 to Sat 21
January 2023 in Boston, Massachusetts, USA.

The student volunteer program is a chance for students from around the
world to participate in the conferences whilst assisting us in preparing
and running the events. In return, volunteers are granted free registration
to the conferences, tutorials, workshops, and all associated events.

As a POPL 2023 Student Volunteer, you will interact closely with
researchers, academics and practitioners from various disciplines and meet
other students from around the world.

Job assignments for student volunteers include:
assisting with technical sessions, workshops, tutorials and panels,
checking badges at doors, operating the information desk, providing
information about the conference to attendees, helping with traffic flow,
and general assistance to keep the conference running smoothly.

To be considered as a Student Volunteer for POPL, please fill in the
application form: https://forms.gle/nHJYCVbBuMCTz17s7

There will be two rounds of calls:
- deadline for first round: Nov 5th, 2022 AoE (notification: Nov 15)
- deadline for second round: Dec 1st, 2022 AoE (notification: Dec 5th)

Positive notifications given in the first round are firm, and the second
round is only for spots not filled by the first round.

If you have any questions, feel free to contact Shraddha Barke (sbarke AT eng.ucsd.edu)
or Konstantinos Kallas (kallas AT seas.upenn.edu).

Best,
Konstantinos


  • [Coq-Club] POPL 23 -- Call for student volunteers, Konstantinos Kallas, 10/14/2022

Archive powered by MHonArc 2.6.19+.

Top of Page