[Termtools] [EXTERNAL] Re: Termination Problem Database Licence

[Johannes Waldmann]

Hi Clement,


> ... contributing to the TPDB,

Yes please! We need more benchmarks.


> I wanted to formally state the license and way
> this data is managed.

Well, I guess TPDB is legally maintained by the Termcomp SC:
each call for participation in competition (issued by the SC)
also contains a call to submit new benchmarks.
(example: http://lists.lri.fr/pipermail/termtools/2018-May/001178.html )

Of course, practically,
it needs a person to do the work (currently, Akihisa Yamada),
and an institution to host the resources (currently, UIBK)


> but you may want to
> sort this out to avoid future conflicts.

Do you (does anyone reading this) have a proposal
on how to specify licensing for TPDB?

Perhaps  https://creativecommons.org/licenses/by/4.0/ ?


- J.