The organisers of FSCD 2024 are delighted to announce that there is free
best-effort online participation in the 9th International Conference on
Formal Structures for Computation and Deduction (FSCD 2024), colocated
with ICALP and LICS in Tallinn, 10 - 13 July 2024.
Please register your email in advance in order to receive Zoom login
info on Monday evening. For details, please see the conference website:
https://fscd-conference.org/2024
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