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