3 Jul
2024
3 Jul
'24
8:44 a.m.
Dear all, I just started TRS Standard. You can see the current state here https://termcomp.verify.rwth-aachen.de/Y2024/ and in the lobby of the building where IJCAR takes place. Best Florian