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