Dear all,

now that the deadlines for IJCAR and FSCD have passed, I hope that everybody who is interested has the possibility to contribute to the discussions on Github. In addition to the discussions for the TRS categories, there are new discussions regarding the categories for Integer Transition Systems [A] and C Integer Programs [B].

I'll start start to wrap up stalled discussion next week.

Best
Florian

[A] https://github.com/orgs/TermCOMP/discussions/90
[B] https://github.com/orgs/TermCOMP/discussions/91

Dear all,

in case you missed it: There are some interesting discussions about adapting the ARI format for termCOMP, see [1].

In particular, there's also a poll about the new format for SRSs [2]. Currently, there are five votes only... So if you're interested, please have a look at the corresponding discussion [3] and vote!

Best
Florian

[1] https://github.com/orgs/TermCOMP/discussions
[2] https://github.com/orgs/TermCOMP/discussions/88
[3] https://github.com/orgs/TermCOMP/discussions/87
_______________________________________________
Termtools mailing list -- termtools@lists.rwth-aachen.de
To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de