Dear all,
in August 25th, we plan the "0th" probabilistic termination competition. It imitates the termination competition in 2003: participants present examples on whiteboard/screen, and all participants input the examples to their tools on laptops and report the outputs.
I'm sorry that this announcement is so late.
Best regards, Akihisa
Zeige Antworten nach Diskussionsstrang
termtools@lists.rwth-aachen.de