Yannick Forster

No remote talks at PLDI this year! "However, as accepted papers are published in the PACMPL PLDI journal issue, presenting at PLDI'26 is not a requirement for paper publication. To maximize the in-person experience and limit costs, we will only support remote talks for last-minute emergencies, on a best-effort basis."

I think this is allowed by the rules laid out in the procedures of PACMPL document. I also think it's a first for a PACMPL conference to not allow remote talks? But most importantly, it's a pity. There are many good reasons why people cannot or so not want to travel to Colorado outside of "last minute emergencies".

Dagstuhl now has a tool to annotate bib files with dois using dblp entries: https://submission.dagstuhl.de/services/bib2doi

@gallais@mamot.fr @ltchen@mathstodon.xyz Rocq's Prop is proof irrelevant! At least for some people. The terminology differs. Some people are saying proof irrelevant for "proofs can't matter" or "proofs are erasable for computation". In this usage, the irrelevance you probably have in mind is called "uniqueness of proofs". I learned this from @andrejbauer@mathstodon.xyz

@MonniauxD@social.sciences.re it also evens the playing field: some applicants might know about the evaluation rubrics better than others. Clearly, you want to select on the actual rubrics rather than on knowing about the rubrics, so telling people before leads to more fairness and better selection. Granted, you can also get this effect by only coming up with the rubrics after the application deadline.