3 Jul
2024
3 Jul
'24
16:55
Dear all,
the competition is over, the last category (ITS Termination) just finished during the last coffee break.
https://termcomp.verify.rwth-aachen.de/Y2024/
If there's something interesting / remarkable about this year's competition, please let me know, so that I can include it in the presentation on Friday.
Best Florian