coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
Chronological Thread
- From: Favonia <kbh AT umn.edu>
- To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, agda AT lists.chalmers.se, haskell-cafe AT haskell.org, ssreflect AT inria.fr, eutypes AT cs.ru.nl, cl-isabelle-users AT lists.cam.ac.uk, hol-info AT lists.sourceforge.net, ProofTheory AT lists.bath.ac.uk, univalent-mathematics AT googlegroups.com, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>
- Subject: [Coq-Club] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
- Date: Fri, 23 Sep 2022 11:00:00 -0500
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kbh AT umn.edu; spf=Pass smtp.mailfrom=kbh AT umn.edu; spf=Pass smtp.helo=postmaster AT mta-p7.oit.umn.edu
- Dkim-filter: OpenDKIM Filter v2.11.0 mta-p7.oit.umn.edu 4MYxhB0fndz9xZ2T
- Dmarc-filter: OpenDMARC Filter v1.3.2 mta-p7.oit.umn.edu 4MYxhB0fndz9xZ2T
- Ironport-data: A9a23:aUvbhq+plCWUGXZi73pvDrUDp3qTJUtcMsCJ2f8bNWPcYEJGY0x3z TQcXm3QOf7eZTCgKNBwa9vg8UJU6MfczdFkQQY++ClEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPykYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f4nW8vWo4ow/jb8kk37a6p4GlwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEFL0OevHJSxjSCc53KaXGbp5vBuNVsdNtcX3tRpXmBur cVNfVjhbjjb7w636LenQ6x02YIkLdWtIYYZ/Hxs0Fk1D95/GsyFE/mMvI4Gmm1o2aiiHt6GD yYdQTllbDzdZhsJN1sKYH47tL302yWiKWEIwL6TjYg+xnnNzTcg6ZTSadXVPc6aad5ZjFnN8 woq+EygU0hCbIf3JSC+2nmrn6rEmT7xcJkDEaWxsP9smlyagGIJYCD6TnO+vfD8khH4XNNDb VER/GwjobVaGFGXosfVYEGXvXuhux4lQfFbSeIe2h/Sy4qM2lPMboQbdQJpZNsjvc4wYDUl0 F6Vgt/kbQCDVpXJFxpxEZ/I/VuP1TgpwXwqOXJdE1VYizX3iMRi1UmVF4sL/Lud1IWdJN3m/ 9ydQMHSbZ02jMgN2qyj+lTGmFpATbCUE1JuvW07so9Nhz6Viaage4Xt8Qed6vdcapucSB+Ms GVsdymiAAImU8/leM+lGbtl8FSVCxCtbGW0bblHQ8FJythV0yT/Fb28GRknTKuTDu4KeCXyf GjYsh5L6ZlYMROCNPEpONLuUphwkvK6T7wJs8w4iPISPPCdkyfbrElTibK4hQgBbWB3y/Fma M3znTiEVyxKYUiY8NZGb75MiOdznUjSNEvOQ5Hlwg680KaPLHmbAbIENl2Ddecl5cu5TPb9r r5i2z+x40wHCoXWO3CPmaZKdAxiBSVlWfje9pIGHsbdeFYOMD96UZf5n+h+E7GJaowIzI8kC FnnBB8BoLc+7FWaQTi3hodLMem3Acsm9C5jbETB/z+AghAeXGpm149HH7NfQFXt3LULISdcH 6dbKfaTSO9CUCrG8Dk7ZJzw5t4qPheyiA7Ee2LvbDEjdtQyD0bE6/31TDvJrSMuNyuQsddhg ruC0giAf4EPaT4/B+nradWu7WiLg14jpMxIUXH1f+ZjIHfXzNAyKgjarOMGHMUXGBCSmhqYz 1m3BDkbl8nsoqg00oDDuvyZnbiTSsp/AUtoMG3J5pmmNSTh3zSCwK0RdM2qbDziRGfP16H6X tpsztb4K+whoFZGl6FeAoRb5/syyPW3roAL0zk+OmvAamqaL49JI16E7JFpjbJMzLoIgjmGc BuD1fcCMIrYJf6/NkAaITckSeGx1fs0vD32xtZtKWXY4B5Hxpa2YX9wDTKt1hMEdKBUNbk7y 9gPoMQVsgyzqiQ7O+a80xx7yT6+EWwiYY4G6LcqWJTmmyg6+GFkOJb8MBL70LuLStdLM3QpH AOqubr/t+xc6HbvI3sXPlrR7NVZnqUL6UxrzkddBlGnmejlp/4Q3T9N/RsaUg95xQhNieYrH m5VK0d0eKG83wppoONhXGmcPR5LKzPE2072ynoPzHb4SWvxXEPzDWQNA8S/12FHzHB5YR5a4 6C+9GbpdR3IbfPB9HI+dmA9osOyUOEr0BPJnf6WOvisHr44UGLDubCvb29ZkCnXK5o9q2Ofr NY74dsqT7PwMBMRhKgJC4O687A0YzLcLUxgRcBRxo84LVv+ShqThwfXc1uQf/lTLcPk6UW7U sxiBvxeXiSEiRqhkGopOr4uEZRVwtgZvMEPa5H6F14g6rG/lAdkgLjU1yr5hVIofelQrNYAG tvRWg+GQ0Othipyum7SrcN7FHKyTvsaaSbdgu2k0uU7OKgSkeNrcE0Ni6aQukuWPDBG5DORh hvIPIXN/txhyKNtvoriKbpCDAOKMuHOVPyE3QSwktZWZ/bNDJv+jBwUoVzZIAhmB7sddNBpn 7CrstSs/kf6kJspcmLewb+tKrJo4JisYe9pLc7HFnlWsi+cUsvK4RFY2WSZK4RMoexN9PucW Aq0R8uhR+E7A+4H6iVuVBFfNBIBB4DcTKTq/3q9psvRLCkt61XMKdf/+EL5aW1eSDQzBKT/L Q3K6saevoUS6MwGARIfHPhpDqNpOFKpC+Nsa9T1siLeFWWyxE+Lvrz5jxc79DXXET++Hd3n5 Y7eDA3LHPhoVHokEPkC22CzgvEWMJq5qewsdwcFpJhxiiz8EWsAa+kRLP3qz7lKxzfq2siQi C7lNQMf5efVBFyosikQJPz+WwHZC+ATUjs8DiJ85FuaMk9aG6vZaIaMNU5cD7NeZz7liuyrN LnyP5E20geZmvlUeArY2hB3bSqLCB8XKrLkNH0RS/DPPis=
- Ironport-hdrordr: A9a23:DqDV06M5ZYDdGcBcTuijsMiBIKoaSvp037BL7TEMdfQ2Gvb3qy nKppQmPf6YslkssR4b6Ki90cW7MArhHP1OkO8s1NWZLXLbUQKTRekIgOeC/9SKIVyFygcy79 YcT0G8MqyTMbG5t7eY3OB1KadF/DBPytHM9IDjJqhWJz1XVw==
- Ironport-phdr: A9a23:IXz9+xVp1YAbVz3ZXMy1XEoPXwrV8Kz0XTF92vMcY1JmTK2v8tzYM VDF4r011RmVB96dsKkawLuJ+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtGiTanb75/I hS7oQrVu8QUnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3Q rJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6 bpgRQT2gykbKTE27GDXitRxjK1FphKhuwd/yJPQbI2MKfZyYr/RcdYcSGVGQ8hRSjdBApuiY IQTE+oPM+FYr4znqFsPqxu1GA2gCezrxzNNgHL9wK803Pk7EQze0wMuH9wAvnfJotvrKKgfS vq6wLXSwDjZc/9axTXw5Y7VeR4hu/GMWrdwfNLRx0Y1CQPFiVOQqY3/MDiI0ekNsHOU7+p7W OKyjm4nrRt9rSayyccxk4TEgJ8exV/Y+ytj2ok1OcG4R1BhYd6iCJZduT+XO5VqT84iXmxkp iY3x7kJtJC1YSQEx5spygPQZfGHfIaF4xzuWuafLzp5i39pZL2yihWx/EWhyuPxSsm63VBXp SRLldnMs2oC1x3V6sWfUft9/0ih2S6L1w/J7OFIO0c0lbDUK5I5zL4wkYATsUHYHiPsl0X2i LGZe0M58ear8+Tqeqjqq5GTOoNuiQzzPb4iltG7DOk5KAQCQXSX9Oak2LH94UH0RK9Gg/42n 6XDrZzXJMYWqrS7DgNI1Iso9gyxAC280NsCmHkKNFJFdwyDj4juI1zOJez4Au2mj1S0kjpn3 ffGPrz9ApnXM3jDlbHhcaxj5EFB1Qo/1dFf55RKBbEdOP//R0H8udPCAhI6PAG42fvrBdF82 48ER26DHq2UPLvXsVCS5+IvJ+eMZJUSuDb4M/Ul5OXhjX8ilF8AeKmp24EbZ26lEfR7O0mZZ 2Hjjc8bEWgWpgo+UPDqiFqaXDJOf3qyRb4z5iknCIK6CofOXpyigLuY3CuiApJWYn1GBUuXH Hfzd4SEXu8MZziILs9glDwET7mhRJU72RGgrg+pg4Zge/bF4iAD8Jvl0t9o4ebevRUz7iBvS d+Q2nrLUnl5mGVOSjMrmOh0plU4wVOe24B5heZZHJpd/bcBWwg2PLbYzvdmEJb5WgvFe9qTU xC9T5HuATgqTd81x5oFakhwM9WrlRPO2y7sBKUa0/SQH4Y5/KbR1GTZJsBnyn+A2rNlx1Q7X tpXOHaOjbU57RWVAYqN206d0qexfK4R2CrAsXqYwHCVlEVZSxJrF67MWDYWbQ3LrpCx5kTGC r6oB7MPNgpa1dXEMaxXcNbkg1JcS/qlPtnCJyqJgWC3CyqIy7SWfaLuen4Bx2PXAVQE1QkYu 2uFcUAjACa/qmbTCiArEFvzY07p+PV/o2iTQUgzwAWHYFdmyqKuvBUSgLjUa/QW2a4DoDZpl yRsER6B39/REcvI8wpmeaJAZsss/EZf2H7ZugtnL7SvKKdtglMRaQNqp1io3BJyXNZui88v+ V0j0g10KKvQhFBLdxuF2Ja2N7HKfDqhtCuzYrLbjwmNmO2d/b0CvbFl8j0L3SmsH0smqDB81 sVNlmCb/tPMBRYTVpT4VgA28QJ7rvfUeHp1/JvagFtrN6T8qTrew5QxHuJwyRygV8paNuWJG BKhW9YCCZ2WIfcx00OscgpCOelT8KAuOMbzdPGG8LOuOqBtkC/1xX9f7tVF21mXvzF5VvaO3 5sBxKSA2RCbUj7nkFq7msXrkMVcOncVH3b51C3iQoNde8WeZK4tDmGja42yz9R63Nv2XmJAs UWkHxUA0dOofhybaxr82xdR3AIZuy7vnyzw1DFynzwzy8jXlCXT3+TvcgYGMW9XVSFji1nrO 429k9EdWgChcQEokBKv4UuyybJcoexzKGzaQEEAeCaTTSkqUaGwnqeHZYhC5I5p+SRbXeKgY EyLH6bnqkhS2CfiEm1CgTEjImjx5tOpw1oj2Tzbdi4s/x+7MYlqyBzS5cLRX6tU1zsCH2xjj CXPQ0O7J5+v9MmVkJHKtqa/UXigX9tda3qOr8vIuS2l6GltGRD6keq0n4itEgI6+TL+0Z9nW TiC/17sJ5Lm0ai3K7ctfUNoLEL57Yx3Fpw0we5SzNkAnHMdgJuS538Ol2z+ZM5a1azJZ30IX TcXwtTR7WAJwWVbJ2mSj8L8X3SZmY56YsWiJ3gRwmQ75txLD6Gd6PpFmzF0qxy2t1CZbf94l zYbgfwgjRxSy+IDuCIwyyPbD7wPVUVVJi3jkR2U4sv29f4LIjbzN+HhigwkxY/pBarKugxGX XflZpouVTR96MlyKhOpsjW7643pfsXRccNGsxSVlxnaiO0GYJk1l/cMmW9mITek5iFjm7J91 E0wm8vi49viSS0l5q+yDx9GOyegYsoS/mqolqNChoON2JjpGJx9GzINVZ+uTPSyETtUu+60U mTGWDA6tHqfHqLSWAGF70Iz5XHFE7i2MnfRKXUEh4YqVFyGKUpTjRpBFjYwnrYkEwbsycD8O hQchHhZ9hvzrR1CzfhtPh/0XzLEpQumXTwzTYCWMBtc6gwRr1eQK8GV6fh/Wj1J5pD05hLYM XSVPk4baANBElzBHV3oOaOioMXN4/TNTPTrNOPAOP2PsbAMDqzUg8LzlNI3oXDVZ5/IZCYHb bVz21IfDykjS4KAw2xJEnNG0XuWMYaavEvuo3Yr6JDjtq27CUS2tNHIUeQ3U50n+gjq0/7SZ 6jK2Hs/eGoej85WgiSQgLkHgAxN12c0L2HrSO5G73SRC/iP0q5PU0xCNH01b5IOtv5hmFMQZ au5wpv0zuIq169lTQ4dCBq4wYfxIpZWa2ClaAGeVRfNbeTWY2SWnIenOeu9UeEC07kS7UXr/ 2/LTgm5Zmjm9XGhVgjzY7gd3WfAZFoE49z7KE4xQT/qSNasAvGiGOd+liZ+gbg9h3eRcHUZL SA5aERV6LuZ8SJfhPx7XW1H9Htsa+eeyW6V6OzRK5BetvUOYGw8j+VB/HEz0KdY9glBWPUwg HSUqd9y5UyjlK+CxicvXBdVqzlNjZ6Gpg07YvmfpsUGACeaukhVsi2ZEHFo75N9B8fqurxMx 9SHj6/1JDpYsprV8cYaG8nIOZeHPX4mYlLiHD/ZChdATCb+bDqDwRwB1qjDqDvP9sdpz/qk0 IADQbJaSlEvQ/YTC0A+WccHPI8yRTQ817iSkM8P43O66hjXXsRT+J7dBZfwSb3iLiiUib5ca l4G27T9eM4QPI3TxklkLFR2gc6ZfiiYFcAIuSBnYgIu9Q9V92NiS2Qox0//Qgax6ToLSrizn wJwlw54J+kh6X2/hjV/bkqPryw2nk4rnNzjij3Eaz/9IpC7WoROAjb1vUw8YdvrBhx4Zgqok Ql4JS/JEvhP2qB4ezkh22q+8dNfXORRRqpebFoMyOGLMr82hE9EpHzvxFcbt7KeVd0yyE1zI MDq9iManFg8Cbx9ba3IePgQlAgW3/rX+Hb3h6Zom1FWJl5RojrJJGhY5ApRZuhgfnvyubYzj G7K0zpbJDpVBqps+K43sBJhfb3dlWW7i/ZCMhzjaLDZdfvB/TGa05TSHhRqiQsJjxUXpOcol 5x6NRPICgZ1kef0dVxBNNKee1gEP4wLrCWVJH3I6aKXndp0J9nvT7G5C7be5OBN3x3iTF5hH pxQvJtdWMP0iweBfZqhduZZrHdlrAXzeAfcXaUPI0rNymxa5ZvnkNcg1I1ZbFn14E14LSzy/ umRoQ42xueGWpE7bmpIB+Ps2VorXcv8liJE7S0o5Nyfz+cfjgWO8m2kzhk=
- Ironport-sdr: 632dd82d_/530t6dp1w3WEBw466UfsCw8pZIHH+/2wc+46bsoQ0Dk8RT hAr2v8nGbknTmqyYrHVlxmT4irJV5yVkGxxXzZA==
CALL FOR SCHOLARSHIP APPLICATIONS
DEADLINE: 14 October 2022, 23:59 AoE (Anywhere on Earth)
ACM SIGPLAN Programming Languages Mentoring Workshop
Location: Boston, Massachusetts, USA
Date: Tuesday, January 17, 2023
Web page: https://popl23.sigplan.org/home/PLMW-POPL-2023
Following the success of the first eleven Programming Languages Mentoring Workshops at POPL 2012-2022, we are pleased to announce the 12th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2023 and organized by Hannah Gommerstadt, Michael Greenberg, Kuen-Bang Hou (Favonia), and Robbert Krebbers. The workshop will take place in person in Boston.
PLMW aims to encourage graduate students and senior undergraduate students to pursue careers in programming language (PL) research. This workshop will bring together world leaders in PL research and teaching from both academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will help students imagine how they might contribute to our vibrant and thriving research community.
We especially encourage women, members of underrepresented minorities, and people with disabilities to attend PLMW.
This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay for the whole conference.
A number of sponsors (listed below) 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 POPL conference itself. The workshop registration is open to all (with or without scholarships). Students with alternative sources of funding are welcome as well.
APPLICATION FOR PLMW SCHOLARSHIP
The application form can be accessed at the following URL:
https://forms.gle/Ct19QcsKjSLoE38B9
The deadline for full consideration of funding is 14 October 2022, 23:59 AoE.
Confirmed sponsors so far:
NSF
ACM SIGPLAN
Jane Street
Galois
- [Coq-Club] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE), Favonia, 09/23/2022
Archive powered by MHonArc 2.6.19+.