[isabelle] Isabelle Workshop 2020

Dear Isabelle users,

the papers for our virtual Isabelle Workshop 2020 are now published on the

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.


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