HAL "no proceedings" checker

Check for entries in HAL that are tagged as conference paper, but without proceedings. Only workshops without proceedings should appear in the list.

This is just a simple form using https://haltools.inria.fr/?action=exportXML&lang=en. What is does is:

– Check "document type"="conference paper"
– Check "proceedings"="without proceedings"

You can use the haltools form directly if you have access to to do the same.