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

[Akihisa Yamada]

Dear Clement, Johannes,

how about having in each folder a text file stating the license, if 
necessary?

Best regards,
Akihisa

On 2018/08/06 22:26, Johannes Waldmann wrote:
> 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.
> _______________________________________________
> Termtools mailing list
> Termtools at lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>