3 Jul
2024
3 Jul
'24
4:55 p.m.
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