Stream: Coq workshop 2020

Topic: Abstracts in permanent archives


view this post on Zulip 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...

view this post on Zulip 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

view this post on Zulip 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).

view this post on Zulip Karl Palmskog (Jul 01 2020 at 16:49):

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

view this post on Zulip 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: Feb 06 2023 at 05:03 UTC