Stream: Coq workshop 2020

Topic: Abstracts in permanent archives

Karl Palmskog (Jul 01 2020 at 10:09):

Our workshop abstract finally came out on arXiv: https://arxiv.org/abs/2006.16743 -- for some reason the moderators reclassified it as human-computer interaction? Here I spend my career avoiding any form of UI, and this is what happens...

Karl Palmskog (Jul 01 2020 at 10:11):

for anyone else submitting to arXiv, apparently they scrutinize short papers very thoroughly, so our submission got stuck in a moderation queue for a like a week

Théo Zimmermann (Jul 01 2020 at 16:47):

Then, I suggest using HAL instead, which doesn't have such drawback (I never had any trouble submitting a short abstract).

Karl Palmskog (Jul 01 2020 at 16:49):

for anyone who has access to HAL, sure, but I think one needs a French affiliation?

Théo Zimmermann (Jul 01 2020 at 17:26):

That's possible. If that's so, that's too bad. An alternative alternative is Zenodo...

Last updated: Jun 01 2023 at 11:01 UTC