15 Aug
2023
15 Aug
'23
18:43
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