coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] PLMW@ICFP'24: Call for Participation (travel funding application by June 21)
Chronological Thread
- 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] PLMW@ICFP'24: Call for Participation (travel funding application by June 21)
- Date: Fri, 24 May 2024 15:52:18 -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-pf1-f178.google.com
- Ironport-data: A9a23:VhrfM65fRBukHcslbYd0NAxRtIHDchMFZxGqfqrLsTDasY5as4F+v jQfDDuDMq6KZmbyLtx+O9608kIPusTQzIIyHgVsqHthZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsYgr414rZ8Ekz5Kmo5GtD1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj69lwUF0GN9Qbw8J6W3Bq5 dUkKzIQbinW0opawJrjIgVtrsEqLc2uJI1G/385kmGfAvEhTpTOBa7N4Le03h9q3pEITauYP ZNBL2MwPHwsYDUXUrsTIII4muauiWn+fhVXrVuUoew85G27IAlZgOe8a4OJIoXiqcN9hkq2l mzppEbCXhwXbe2T1z+IrkySmbqa9c/8cNlPTeXnp6ACbEeo7mcaDRlTUVqgvdGim0umUpReL VYV82wgt8Aa/0uyC9L5QheQu2+BphdaWtxKEuR85hvl90bPywOQB2xBVjAYLdJ/659wSjst2 VuE2djuAFSDrYF5V1qx6OuInTnrOhExIDUTQT8tcQgH/tna9dRbYg30cv5vF6u8j9vQED72w iyXoCVWu1n1pZ5Uv0lc1QCY6w9AtqT0ohgJChI7t19JAyt8bY+hIpSmsB3VtKkQaomeSVaFs T4PnM32AAEy4XOlxXXlrAYlRe7BCxO53Nv03wYH834JqWzFxpJbVdoMiAyS3W8wWir+RRfnY VXIpSRa74JJMX2hYMdfOt3oVZh6nPGxT421Bpg4i+aihLAhK2drGwk+NSatM5zFyRhEfVwXY MvFLpz1VyZy5VpPl2brH7Z1PUAXKtAWnj6KHc+qkXxLIJKRY3maTbpNMV2FKIgEAFCs8W3oH yJkH5LSkX13CbWgCgGOqNJ7BQ5QcRATW8utw+QJLbHrH+aTMDp9YxMn6eh8I9ANcmU8vrugw 0xRrWcImQKh2yGaeV/ih7IKQOqHYKuTZEkTZUQEVWtEEVB6CWp2xP5HLMNlTqpt7+F50/9/Q t8MfsjKULwFSS3K935ZJdPxpZBrPkbjzw+fHTuXUB5mdb5ZRivN5oDFeCnr/3IwFSaZj5Y1j ICh8QL5eqA9YTpeIvzYU9+R6m+gnGM8nbtyVnTYI9MId0TL9pNrGhPLjfQ2Ap8tLEzDzwSFy w25MAc8mtjdhZ067euT1L629ZetN+5YAEBhPnL66IyuPnLw5VuTwo5nUceJcwvCVWjyxr6QW OVNw9z4M9wFhFxvoaMmN5pKlIUQv8DOoZ1exSRaRET7VUyhUO5cEyPXzPtxub1o7Z4HnwmPA 2ak2MRQYJeNM+PbSG8hHhIvNLm/5KtFiwvpzKoHJWvh73VK55uBa0JZOieMhAF7LLdYNIAEw /8riPUJ6j6Q2wYbDdKbsh96r2i8DGQMc6EChKEoBIXGjgkKyFYbRbf+DiTwwo+EavQSE00MD wKXupH/hOVn9hKfS0YwKHnD5voCpJIsvBsR8kQOCW7UkfX4h9g2/iZrzxIJcipvwC96jt1DY lpQCxUtJIGl3StZu8xYbmX9RyBDHEK4/2Ly+XsolUrYbU+iaULVJkZgO+zXpEE92EBfdwh94 7u35jvEUzHrXcepxQo0exdvhMLCROxL1D/puZ6YDeXcOLIlcx/Jv7SIWVMYjzfGXeYgm1zhp 8Rx2eR7NJ3AKi8bppMkB7mg1bg/TA6OIEpAS6pD+JwlMH79ejag/yqnMGG0J91wIsLV/X+CC 8BBItxFUzK83n2sqhEZHas9HK9mrsU25dYteqLZGkBeiuGx9gFWiZP38jTyoEQJQN80yMY0F d73RgK4S2eVgSNZpn/JoMx6IVGHWNgjZjDn/eWL4e4MRoMisuZtTBkI6YGKnU6paSlpwxHFm zn4Rf7y7/djwoFSjYfTAv19JwGrG+jSCsWM0i6O6uprU/2eEP3glQ0vrnvfAz93JpoUAtR+q qSMuoX43WTDp7cHbFrakJigSYhM6dmDY+5MFsfRMnNhvDCjXfX06EAp4FGIKp1ukfJc6PK4R gC+VtCCSN4NV/pZx1xXcyJ7EStBL4jScYHbunqbg9mXLxoSwyjrDYmCzmD4S3NfegsjGYzMO iWtt9mAvtln/ZlxXjkaDPRYMrpECV7EW459UvbutDOdX1KasnnbtpTMzRMfuCz2UF+aG8PH4 LXAdBj0VDK2nIrqlNh5kYhDjic7PUZHo9sbXxwiooZtqjWAEmQ5A/wXMswGBrFqgyXC7szES w+XXlQyKxfWfGpiSgr90uTBTw3EJ+0pO/XFHBIL0X6QSR+LANKnPOM82AZmunt4Q262hqXvY 9QT4Wb5MRWN04lkD7RbrOCyheB8gOjW3DQU8ET6iNb/GAsaHa5M7nF6AQ5RTmbSJqkhTqkQy bQdHgiogX1XSHId1e5lcn9RXQkX5Xbhlmp4KyiIx9nbtsOQy+goJDgT/Q3s+uVrUSjIDOdmq bDLq6+l7GWf23hVsqws0z7sqbEhEuqFR6BWM4e6LTD/XMiMBqAPMMYLnC5JR8YnkOKa/5Uxi RH0i0UD6I+5xIy9FVFYJcjlO368b57UMwz0sQ==
- Ironport-hdrordr: A9a23:Qaj+xq0Ux8OS7u9FrFESqQqjBJokLtp133Aq2lEZdPU1SL3/qy nKpp4mPHDP+VQssR0b6LO90cq7IU80l6QFhLX5VI3KNGLbUQCTXeVfBOXZslrdMhy72ehHy6 96fqRyTPH2B0NrlNv37WCDf+rIA+PpzElrv4rjJrtWIz2CopsA0ztE
- Ironport-phdr: A9a23:4nHTqh29MguVOOHMsmDOZQ0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaOo68z3BSQBtqTwskHotSVmpijY1BI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQFFiCCjbb5zL xi6ohjdu8cUjIB/Nqs/1xzFr2dHdOhR2W5mP1WfkQri6Myt5pBj6SNQu/wg985ET6r3erkzQ KJbAjo7LW07/dXnuhbfQwSB4HscSXgWnQFTAwfZ9hH6X4z+vTX8u+FgxSSVJ8z2TbQzWTS/8 6dmTQLjhSkbOzIl9mzcl8t/gr9GoBK6vxxw3ZLbYJ2bOvp5e6PSZ9IaRWxcVcpVWCFMBoawY o0SBOQDIOlYtZHwqFQOoxWwBgeiGf3hxSNTi3DswaE3yf4sHR3a0AEiGd8FrXTarM/yNKcXS e271KjIzTPMb/NQ2Df97ofIeQ0grvGNQ717bM3cyEYpFwPDj1WQr4PlPjyU1usTqGWb4O9gW viui24jsQ1+vj+vxsI1h4TPm4kaxUzK+z9jz4YpOd23VlR7Ydi8HZVfqi2XM4t4T8IsTWxqp Co3yr0ItJC1cSULyJor2xHRZvKIfYSU4hztW+acLDZliHxrZr6ygwq+/VagxODhUsS51ktBo CRCktnJrH8N1hrT59CcSvt88UehwTKP2BrV6u1eJkA0j6XbJ4Yvwr43jJoTtF/DEjX5mEXyk qCbcFgv9Ouw6+n/fLnqupuRO5V3hwz+KKgihNGzDfgiPgQTXWWW+uKx36D98E39XbVKleE2n bfDsJ7HJMQap7C2DhdJ3osl9h2xFS2p0M4CknkCNF9FeAyIj4zuO1zWJfD3F/a/g1C1nDdzy fDKI6TtApvQInXBk7rtZ7l960lbyAo8ydBQ+YhYBa0GIPL2QkPxtdrYAQElMwGs3errFNFw2 pkdVG+PGKOVLr7evUOS6u4yIeSBZ5cZuDPnJPgk4/7ug2U5mVgYfaSx0poXbna4HvVgI0WWb nvsg8kOHHwFvgo7VuPqiVmCXSRPaHa1WqIw/jc7B5m+AofZWo+tmKCB3Du8HpBOeGxKEkqMH mvwd4WYR/cMbzqfLdN7nTwBUbitUosh1RC1tA/m0LdnNerV+igAtZ35ztR15uvTlQsz9TNuF cid3XuNQ3lunmwUXz82wLx/oUtlx1if1qh4muVUGsBX5/NUSQg3LoXczux/C9DqQA3NZNaJS FC8QtWnGz49VNwxw8VdK3p6Tt6rixSG2yuxH5cUkaaKDdo66OaU1H/oYs151nzu1a87jlBgT NELfWSpiqdX8wnIG5WPmEWQk6Onb79axyOJvGyHiGuVtUtVVAp9FLjeUGoETk/XtsjioEjLS vmnAvI6MU8JwsmEIbZQcNDvhkRuQPb4JM/TeXy8gSGsGBvOwLfIJIrjYGYQ2CGYA0EKnigT9 G2FOAw6QCC7rCaWEC12GEmqakXq9vR4o36TSk4v0xrMdEBozPyo4hMTg7qRR+5A8KgDvXIHq jN7Gle70JrmCtfI8xpneqRabsM87X9I0GvYs0p2OZn2fPMqvUIXbwki5xCm7B5wEIgVzZlCR BICyQNzLfndy1Zdb3aD2oi2PLTLK2709RTpaqjM21iY3szFsrwX5qEerFPu9BqsClJk629uh slT1Xqa6YXLASIdVJvwVgA88B0p76rCbHwF7pjPnWZpLbHytzbD39wzA+5w2hCmftFQIKKJP AD3GsweQcOpLb9igECnOzQDOu0a76soJ4Wmev+BjbasJ/pllSm6gH5v5Yl81geU+XM5RLeXj 9AKxPaX2gbBXDD55Lu4mubwn40MJTQbH27kjDPhGJYUfapqO4ACFWapJcSzgNR4nZ/kHXBCp halABsd1cmldAD3DRS11BBM1UkRvX2smDephz1ynTYzq6OD3SvIi+38fRsDM2RPSSFsl1Dpa YSzitkbWgCvYW1L3FO140D7wadLpalXIGzaQEMOdC/zbiljXqa2qruecptX8pp7+S5TUem6f RWbUuun+0pcg36lRTIGgmlkJ2LP2N2xhRFxhWODIWwmqXPYfZo13hLD/JnHQuYX2DMaRS5+g D2RB16mPtDv88/H8vWL+u24SW+lUYVeNCfxyobV/ju942xsDg2+kti8n9TmFU4x1iqxhLwIH W3Y6Q3xZIXmzfHwIeRhf09nFF7xw8V/E4B61IA3gdtDkWhfjZKT830dlG71OtgOwqPyYk0GQ jsTysLU6gzosKF6BkqA3JmxFnCUw886IsK/fntTwSUlqcZDFKaT6rVA2ypzuFux6wzLM7Bxm TIUyP1m73B/4alBqAwrzyOSErEfNUZdNC3o0R+P6piyob5Wa2CmbbWrnBAmzJbxUffY+1kaA SmpMp45VTd99MB+LE7B3BiRosn/dd/cYMhS/hyYnhHcjvREfZc4l/4Eny1iair2uXwozfJ+j AQ7h8nr+tjabT80pOTgXU4LU1+9L9ke8Tzsk6tEy8Of3oT0W45kBi1OR5zwC/ShDDMVs/3jc QeICjw17HmBSt+9VUeS7llrq3XXHtWlLXaScTMJy9NjQhaNJUF3jwUdXTF8lZk8XFPPpoSpY AJi6zYd60St4AtKzONuOAn+X0/QoQ6pbnE/T53Vf380pklSokzSN8KZ9Od6GSpVq4agoAK6I Wuefw1UDGsNVx/MFxX5M7Kp/9WF7/mAC7/0Ma7VebvX4787Nb/A1de134Bh5TrJKsifIiwoE aggwkQaFXFhR5aCxnNWGnRRzX6SKZbc/kv0+zUr/J7jtq6wA0S2u9PJU/wLYLANs1i3mfvRa bDW3X4jb24ejtRWnTfJ0ORNggBU0X0/MWn1V+xH73aFTbqMyPANSUdHLXoibo0QqPtsu2sFc c/D1oGqivgh1KNzUxEdEgW/0sCxOZ5TezH7bQyYQhbNbPPcfHXK252lOPznD+QB0KMM8UX34 Gj+cQerPyzfxWOxBlb/bKcV1nHdZFsH58m8ako/UzG9Co+2LETqapkvymRnibws2iGQbDBaa 2MtNRgX6OXXtHI94L03DWVF6jANwfCsvSGf4qGYL58XtaAuGSFoj6dB52x8zbJJ7SZCTfgzm S3Ir9corUv02u+IgiFqVhZDsFMpzMqCoFliNKPF95JBRWeM/RQD6n+VAggLoN0tA8PmuqRZw NzC3KzpLzIK/9XR9MoaT8/aTaDPeGImKgbsESXIAREtSDeqMSTHiRUYnqjNpjuaqZ81rpWqk 50LC/daWFEzCvIGGxFlEdgFc/IVFnsvlb+WitJN5GLr9kGAApUH+MqeDrTLXqW8TVTRxaNJb BYJ377ieIEaN4mgnldndkE/h4PSXUzZQdFKpCRlKA4yukREtnZkHQhRkwrobB2g5HgLGLu6h Bkz30FuZ+Is8jj84lofKV/DpS92m04004aA43jZYHvqIaG8UJsDQTLzrFQ0O4jnThxdaASzm Ql8Om6BSesO3/1vcmdkjAKaspxKU605L+UMcFobwveZYO8t2FJXp3C8xENJ0uDCDINriAogd ZPER51o1AdqbdpzLqvVdvMhJrl4g6uPumqw2Ll0zlZBdwAC92SdfCNOs0sNZOFOz8+A8ell6 AjEkDxGKjBkag==
- Ironport-sdr: 6650f000_AT84WjwcfaZmUV+HJXAcXkhsJvPEZSuhRtC8LXL+X+FAZil TLMBHbBqx+SgK79pg2i18fQ/HgyxuubKgtCrPMw==
ACM SIGPLAN Programming Languages Mentoring Workshop (PLMW) at ICFP 24, Milan, Italy
Workshop: Monday, September 2, 2024
Website: https://icfp24.sigplan.org/home/PLMW-ICFP-2024
PLMW is a workshop co-located with ICFP 2024 (the International Conference on Functional Programming) in Milan, Italy, from September 2-7.
The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to help students imagine how they might contribute to our research community. Topics will range from the abstract (e.g., what is PL research and how does one become involved in it) to the concrete (e.g., how to navigate an academic conference, how to pick a research area) as well as technical talks on cutting-edge topics.
We especially encourage women and underrepresented minority students, and people with disabilities to attend PLMW.
This workshop is part of the activities surrounding ICFP, and takes place the day before the main conference. One goal of the workshop is to make the ICFP conference more accessible to newcomers. We hope that participants will stay through the entire conference.
Note that ICFP and PLMW are planned to be largely in-person events. While we recognize that travel to conferences is not easy for everyone, we do hope you will be able to join us in person to get the most out of the conference and its community-building aspects.
A number of sponsors have generously donated scholarship funds for qualified students to attend PLMW. These scholarships can cover expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the ICFP conference.
Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application.
The workshop registration is open to all. Students with alternative sources of funding are welcome as well.
Workshop: Monday, September 2, 2024
Website: https://icfp24.sigplan.org/home/PLMW-ICFP-2024
PLMW is a workshop co-located with ICFP 2024 (the International Conference on Functional Programming) in Milan, Italy, from September 2-7.
The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to help students imagine how they might contribute to our research community. Topics will range from the abstract (e.g., what is PL research and how does one become involved in it) to the concrete (e.g., how to navigate an academic conference, how to pick a research area) as well as technical talks on cutting-edge topics.
We especially encourage women and underrepresented minority students, and people with disabilities to attend PLMW.
This workshop is part of the activities surrounding ICFP, and takes place the day before the main conference. One goal of the workshop is to make the ICFP conference more accessible to newcomers. We hope that participants will stay through the entire conference.
Note that ICFP and PLMW are planned to be largely in-person events. While we recognize that travel to conferences is not easy for everyone, we do hope you will be able to join us in person to get the most out of the conference and its community-building aspects.
A number of sponsors have generously donated scholarship funds for qualified students to attend PLMW. These scholarships can cover expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the ICFP conference.
Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application.
The workshop registration is open to all. Students with alternative sources of funding are welcome as well.
—--------------------------------------------------------------
APPLICATION FOR PLMW TRAVEL FUNDING
For full consideration for scholarship funding, please apply at the link below by June 21, AoE. We will notify accepted attendees in a rolling fashion until all funding is committed.
The application can be accessed at the following URL (Apply by June 21, 2024 AOE for full consideration!):
https://forms.gle/vC6udnMWRvvAczPR6
For full consideration for scholarship funding, please apply at the link below by June 21, AoE. We will notify accepted attendees in a rolling fashion until all funding is committed.
The application can be accessed at the following URL (Apply by June 21, 2024 AOE for full consideration!):
https://forms.gle/vC6udnMWRvvAczPR6
- [Coq-Club] PLMW@ICFP'24: Call for Participation (travel funding application by June 21), Ningning Xie, 05/24/2024
Archive powered by MHonArc 2.6.19+.