← Feed

Posts

• Post #2848215

  @MonniauxD 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.

• Post #2848214

  @gallais @ltchen 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

• Post #1744865

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

• Post #1407251

  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 all...