Today I got a notice from another conference that my short paper was
accepted! Hurrah! The reviewers suggested adding another page to
improve the text. That means a little bit more work, but that's
great. I hope the conference will happen in person this time!
