[Termtools] TODAY: Input for TermComp Presentation

[Juergen Giesl]

Dear all,

the talk is today at 16:30. You can watch it live via Zoom if you register
for the conference at https://fscd-ijcar-2020.org/ (free of charge). Or
alternatively, it is streamed live on YouTube at
https://www.youtube.com/watch?v=ElVb7dOLhR0&list=PLl1dj5prwUJzOTayo7HeQhbQ2Zmumif3L&index=2&t=0s

Best Regards
Juergen



Am Fr., 3. Juli 2020 um 20:22 Uhr schrieb Juergen Giesl <
giesl at informatik.rwth-aachen.de>:

> Dear all,
>
> thanks a lot for all of your input! I integrated much of it into my slides
> and just uploaded them.
>
> Best Regards
> Juergen
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20200704/a545400d/attachment.htm>