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
On Wed, 2024-07-03 at 16:55 +0200, Florian Frohn wrote:
the competition is over, the last category (ITS Termination) just finished during the last coffee break.
Dear Florian,
thanks a lot for your work, I really appreciate it.
PS: Will your presentation be available in any form, as slides or even as a livestream?
Best Dieter
--
Dieter Hofbauer dieter_hofbauer@web.de Mühlengasse 16, D-34125 Kassel, Germany phone (+49) 561 739 29 54
Dear all,
PS: Will your presentation be available in any form, as slides or even as a livestream?
I asked about it, we can live-stream the presentation via Zoom. Here's the link:
https://rwth.zoom-x.de/j/68473985705?pwd=ywoZl7Zc4wZVdq9hMdAkZUQ6C0Iwjp.1
See you on Friday!
Best Florian
termtools@lists.rwth-aachen.de
-
Dieter Hofbauer -
Florian Frohn