[isabelle] Isabelle Workshop 2020



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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.