Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle Workshop 2020


view this post on Zulip 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: Mar 28 2024 at 08:18 UTC