Email Gateway (Aug 23 2022 at 09:01): Email Gateway (Aug 23 2022 at 09:01):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the papers for our virtual Isabelle Workshop 2020 are now published on the
website:
https://sketis.net/isabelle/isabelle-workshop-2020
We don't know anything about the program yet: the organizers of IJCAR 2020 /
Paris Nord Summer of LoVe will arrange for a video conferencing system, and
participants will have to arrange their own lunch/coffee/tea for the breaks.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC