Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM)


Chronological Thread 
  • From: Yao Li <liyao AT pdx.edu>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM)
  • Date: Wed, 1 May 2024 13:23:45 -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-lj1-f182.google.com
  • Ironport-data: A9a23:3htQKqzM+C9FFyq5YfR6t+fvwirEfRIJ4+MujC+fZmUNrF6WrkVSn DAdWWrVPvveMWKjLYt/aNnl804G6p6AzN5rTwM5+1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Ec3l48sfrZ9Esy5K2q41v0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFO33eRyXU05GLc48/d2H0BXy OU9Em4SO0Xra+KemNpXS8Fpj8Unac3pZcYR4yE6iz7eCvkiTNbIRKCiCd1whm9hwJATW6yGN 4xAOWAHgBfoO3WjPn8TCYM3m8+wimm5fjFFwL6QjfNpvzGKkVIrjtABNvLuUYeqdOFe2XyY/ GKf2XnDDDoQPv+mnG/tHnWE3bKWxXyqBur+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx38E7yC9ekD0f+r3mDsRoRHdFXFoXW9T1h1IKP/ReFV2QLawRhYc0nqu4veCUP7 AGWyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVtVizUEiNFs5i8jXupe/LiJYsoZ8AwcL hiPpSk6wrER1IsFjvXhu1/AhD2oq97CSQtdCuTrsoCNv18RiG2NPtPABb3nARBoct3xor6p4 iNspiRmxLpSZaxhbQTUKAn3IJmn5uyeLBrXikN1Ep8q+lyFoiH6Id0AsGoveh4yba7onAMFh meD6Wu9A7cDbBOXgVNfOt/Z5zkClPS+SIm6Cqy8giRmOcYuJVLvEN5Sib64hD20yBd9z8nTy L+UdsGjCXtSCKJsilKLqxQ1gNcWKtQF7TqLH/jTlkz5uZLHPSL9YelfbDOmMLtihIva+1W9z jqqH5HVo/mpeLauPHe/HE96BQxiEEXX8rit+pIGLLLYeVE4cIzjYteIqY4cl0Vet/w9vo/1E ruVAye0EXKu2iWVGhbAcX15drLkULB2qH9xb2RmPk+l1zJnKcyj5bsWPcl/N7Q21v1R/dgtR dk8euKEHqtuTBbD8G8jdpXTltFpWymqogOsBBCbRgYDUaRufCH33+P1XxDO8XAOBxWntMFlr LyH0BjacKU5RA9jLZj3bauvxmyuoXIyn/JWYHrYBfVyZXe2oZZYcTz1qvoRPcs3CA7iwwGC3 F28GiYopujqoq40/uLWhKuCkZybLutmEmdeHEjZ9byTJwCA2kaCmKhuCP2pexLZX0PKoJSSX /1flazAAadWjWR0vJpZOJc166AHvv/EhaJQlyZgF1X1N2WbMKtqeCS67JMep5925+FrvCWtU Riy4fhcA7KCPf3lHHM3JAYIauei1+keqgLN7MYacVnL2ytqwIWpCUliHQGAqCh4HotHNIkIx eQAuslPzyedjhEsEMiNjwEK1mCqA0EDbZ4atcAhMNe2sjYo91BMWoyDKynU5JrUVc5AHHN3K RCphY3DpY9m+Gz8T1QJG0LwgNVt3aY1hEgSzXspBUi4pd7et/pmgDxT6WsWSypW/DVm0sVyG HdZF0JoF5q0phZpm8lxcGS+EC5RBBCi2xLQynlYsEb7XkWXRmj2A2llAtm0/Wcd6HN6fBJX2 Jq62VTVe2/mU++p1xRjRHM/jeLoSOJA0zHrmeelLpyjJIY7az+0uZ2eTzMEhDW/CPxgmXCdg /dh+dtxTqjJNSQwhakfIKvC3JQyTCG0HkBzcctDzogoQ16FICqT3AKQIX+fYslOfvzG0XGpA vxUe/5gaU6M6zasnBs6W4g3PL5GrNw47oEje5TqB1I8nZmxkz5LiK/Upw/C3DIFYtM2isssC JLjRxTbGEyquHZksWvsrs5FB2mGXec5dDDMhOCYzeFYOK8A4cdNcF4z2ISap3+6EhVq1DPKs RLhZ5359f1Dy4NtlKTWToFGOQa4EvLodeGy6Avomc9/XdDOFsbvtg0utVjsOTpND4YRQ9hak besssb9+UH0o4YNTGHSnqeeG5lz5cmdWPRdNuT1JiJ4mRSuddDN4RxZ3UyFMr1Mzc1g4/e4S zuCaMefccAfX/FfziZ3bwlcCxMsNLTlXJz/pC+Sr+W+NTZF6FbpdOiYzH7OaX1XUgQqOJekU w/9hKuI1+Bi9Y9JAEcJOuFiD5pGO2TcYKoBdeDqlDymH2Kt00KjuLzjqEIa0gv1KEK4SeT03 ZGUYSLFVkWCiPmdhpUR+Yl/pQYeA3tBkPE9NBBVscJ/jzehSnUKN6IBOJEBEYtZiTH2yIq+X jzWcW8+Em/oaFyoq/knDAjLBW9zx9DiO+sV4hQs9kKQLiO0XcaOWes7sChn5Hhyd33oy+TPx RTyPJHvFkDZ/32rbb97Cj+HbSNP3v/KgH8E5CgRVuTsVg0GD+xiOGNJRWJwuO+uLy0JvF3HN S44SX0srIRXj6LuOZ4IRkO50y31cN8iI/vEoMtPLBviV12n8dB9
  • Ironport-hdrordr: A9a23:v1ljU6MIjRLpzcBcTqKjsMiBIKoaSvp037BL7S9MoHluGfBw+P rOoB1273XJYVUqNk3I++rhBEDoexq1yXcf2+Qs1NmZMDXbhA==
  • Ironport-phdr: A9a23:i0qe5haNHfU+L96QN4AeZTD/LTGq2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1g6PB9yFoK8Yw8Pt8IneGkU4oqy9+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7F skRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCS5bL9oM hm6sATcusYWjIZtN6081gbHrnxUdutZwm9lOUidkxHg6Mmu4ZVt6T5Qu/Uv985BVaX1YaE1R qFGATolLm44+tTluQHMQgWT6HQcVH4WkgdTDAje8B76RJbxvTDkued7xSKXINf5TbEwWTSl8 qdrVBrlgzoJOjIl7G3ajNF7g6VGrhK8vBx/25Dbb52JNPRweaPdeMkVRWtHXs1MUyBMDYexY 44JAuEcP+hXspP9qkMBohW+CweiB/7hxCFUiXLtx6I2z/4sHBva0AA8Hd8DtmnfotXvNKcVV OC41KvHwi/Eb/hL3zn96ZXDfxclofGNXbN/a83RxFI3FwzYgVScs5LqMC6I1ukUtWWQ8uVvW /61hWE9twFxviagxt0qioTRiI8Z10zI+yt9zYg1JdO2RkF2b9ClHZZNuC+XNY97T94sTmxov Cs21L0LtJy0cSUJypkq2hHSZvyaf4WU/B/tVOCcKip2inJifbKwnRey8U64x+3nV8m0305Kr i5fndnKrHwN0AbT6sefRvtg4keuxzmO2BrI6u1eP087iLfbJ4Y9zb43jJoTt1rMHivymEnsk qCZa1gk9vCn6+TmfrXmpoKcOJRuhgH/NaQigtKwAfg4MgkPRWSU5eS82KXl/U3+WrVKkv02n bfDv5DBOcQUuLS5AwlP3ok99hm/Ei+q0NEAnXkGNV5FYxyGj5PzN1HJOvD4Au+zg1WokDZr3 f/GJaPuAo/CLnfdkLbtZ7B95FBAyAc10NtR5IpUB6kfLP7vXkL9rt/VAx8jPwCq3+rqC89x2 p4dVG6RBKKSLb3fsVuV5uI0P+mDepUVtiv8K/kk+fHjlWM1lFkAdqezx5QXcmq3HvF+LkWZf 3XshtABHH8PvgUkTezqjESOUTpRZ3qvRq486Cw3BYG4AYvZSYCth7uB3Ci/HpJIfGxJFleME XLwe4WFXfcDdj6SL9d/njAYUbWtUYws2BG0uAPk17ZqLfDY9jAbuJ79zNR14vfclRA29Tx6F cSd1GSNQnlwnmMJRz45xqd/rFdlylie3ql0meJXGsFO5/9RVAc1LobTz/ZmBNDqRgLBYtCJR U67Ttm+GzE+Usoxw8MSY0Z6A9itkhfD3zOzD7AJk7yLGYc7/7nH33nxIsZ902zJ2LMgj1kgW MtPNHepirRx9wjJVMb1lBCSkL/vfqAB1gbM8n2CxCyAphJ2Sgl1BJTMWjg7ZwOCqdXo70TqV 7O+T7krL10Smoa5NqJWZ4ix3h19T/D5NYGCMgpZ+k+1DBeMnPaXaZbyPn8a12PbAVQFlAYa+ TCHMxI/D2GvuTGWFyRgQHToZU6k6uxisDWjVEZhywCbZkpJz7alvBMZmK/UUOsdi4oNozxps DBoBBC41tPSBcCHol9lfbRVZvsl7EcB2G7E5ERmJpL1CadkixYFdhhv+UPj0xIiEoJbjc0jt 28n1iJ3IKOclVdDLnaWhMCqfLLQLWb28VakbKu+Nkj29tGQ9+9P7f05rw+mpwS1Dg849H4h1 dBJ0nya75GMDQwIUJu3XFxlvx5976rXZCUw/ea2nTVlLLW0vzne2tkoGPptyxCueM1aOb+FE wm6GtMTBsynIugn01azaRdMMOdX/a8yd8SoEpnOkKqqLe9ntCqqnSJK7J08mkOA+ixgS/LZi o4fyqLQ1Q+GWjHgyVa555qvyMYUOHdIRjr5kHi+V+szLuVocI0GCHmjOZiyz9R63dv2XmJAs USkDBUA0dOofhybaxr82xdR3AIZuy/C+2PwwjpqnjUutqfa0jbJxrGocBsWM2ljXGVyy1rgP MLnx8BfR0WuYwUzwVGh5FfzwIBDqLQ5ImXOCxQtHWC+PyRpVa2+saCHashE5cYzsClZZ++7Z EiTVr/3pxZyPzrLJ2JF33h7cjirvs+8hBlmkCeHK301qnPFeMZ2zBOZ5drGRPcX0CBUDCV/j DDWABC7MbzLtZ2QlobKtcimW3LnW5FOOSXm1oKPsiKn6HYiW0Xu2aDu3Ie/QU5jgXWz3sIiT SjSqRfgfoTnn7+3N+5qZAgNZhe06sZ3HJ1/jpplgZgR3XYAgZDGtXEDkGr1LZBawfekNCtLF WNNmYaFplG1gh4GTDrB3Y/yW3SDz9E0YtC7ZjlTwSch94VQD6zS6rVYnCxzq17+rATLYPE7k C1OrJlmoHMcnewNvxIgiyuHBbVHV01ZLCXrvwyE/5azoLgdNy6/NKO90kZzh4XrCLCTqwZ0Q HrpPJouAGUji6c3eEKJ23r15Ib+fdDWZt9GrRyYnSDLiO1NIY4wnP4H1mJ3fHjwtno/x6snn ARjiNuk6ZOfJTwnr8fbSlZIcyf4bMQJ9nTxgLZCy4yIipu3EMwpGy1XDsC1C6v5SHRI6auhb 0HUTHU9sivJR+aZR1TErh449zSXVMn6UhPfbHgBkYc8Gl/EfBYZ2EZMG29i1p8hSlL0moq7L BY/tmhXvhmi8lNN0r46aEO5CzuZ/VbyLG9zEcj6TlIe7xketRiJd5XEs6QrWXkfp8PprRTRe DXDN0IRUj5PCgrcQAq6dri2uYuZrLPeX7viaaOIOfLX94k8H7+J3c79iNM3uWbRcJzVbj86S KRkkktbASIjQpqfxmVJEn1N0XqKNp/TpQ/gqHcu8Iblq6WtA1ipvczWWt4weZ158hSyy89vL sa2gyB0YXZd35IInzrTzaQHmUQVgGdofiWsFrIJsWjMSrjRk+lZFUxTbSQ7L8ZO468mu2sFc cfGltP40KJ5hf8pGh9EU1LmgMSgec0NJSm0KlrGAE+BMLnOKyfMxon7Zqa1SLsYi+sx1VX4o TGAD0rqJSiOjRHsXhGrdOVO1WSVZUwE/o66dRlpBC7oS9enIhy3PdlrjCEnlL05gnSZUAxUe TN4ck5LsviR9XYC2qQ5SzEHtCI1a7DUwXX8jaGQMJsdvPp1Dz4hkutb5C5/0L5J9GReQ/czn iLOr9loqlXgk++VyzMhXgAdz1QDzI+No0hmPr3Us5daXnORthYM/GyXIwwGt51oBsCl6MUyg pDf0bn+LjtP6Yee5cwHG83dM96KKlIkOBvtXTrWVU4LFG7xc27YgENZnbeZ8Xjf/f1Y4tD83 ZEJTLFcTlk8EPgXX19kENI1K5ByRjo4kLSfgabgAFKmoAmXSclH7MivvhO6BPzuLHOdj+ABa UJYm/X3KoMcMoC90EtnOAESdGviA0bAG91Bv384BjI=
  • Ironport-sdr: 6632a4dd_GDU8b8VqThixNkXdwklJXsA3GO9Q+PZMne43EbUsEpm6/qb cuO0bTxGERwfJbPmZE+FqX4wpVsPwhE2pbPW0hg==

Call for Participation in the First PLDI Workshop

on 

Red-Hot Topics in Faculty Mentoring (RTFM)

(aka Read the Faculty Manual)


https://pldi24.sigplan.org/home/rtfm-2024 

Tuesday, June 25, 2024

co-located with PLDI'24 in Copenhagen, Denmark


We believe our community has come a long way in acknowledging that junior researchers need as much mentoring as they can get to prepare them for future jobs and help them succeed. The PLMW workshop series has made it possible for us to talk openly with students about the challenges and stresses facing graduate students: problems with advisors, paper rejections, mental health, and career planning. However, the same can’t be said about the challenges of being faculty: many junior faculty don’t feel comfortable discussing their doubts or asking for advice about how to manage a research group or build a tenure case, and not every junior professor is lucky enough to have a suitable mentor at their own institution to ask for help.


The goal of this workshop is to provide a forum for full-time academics to comfortably share their experience in non-technical aspects related to faculty life. Not all such experiences are positive. Sometimes things don’t work out: PhD students change advisors, grants are rejected, topics go out of fashion. We believe many of the not-so-junior members of the community would love to learn about how “the magic is done” in other research groups, and what are the non-technical ingredients that enable long-term successful research and a happy work environment. 


The workshop is targeting academic faculty of any seniority level, as well as senior PhD students and postdocs who have accepted faculty positions but have not officially started yet. 


For the inaugural edition of the RTFM workshop, we are delighted to confirm the following speakers:



The workshop will also feature three discussion panels on


  • Getting tenure

  • Recruiting and supporting students

  • Work-life balance, service, and teaching 


The workshop will conclude with a slot for one-on-one mentoring sessions.


RTFM@PLDI’24 organizers:

Amal Ahmed (Northeastern University) 

Derek Dreyer (MPI-SWS) 

Ilya Sergey (NUS) 




  • [Coq-Club] Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM), Yao Li, 05/01/2024

Archive powered by MHonArc 2.6.19+.

Top of Page