Email Gateway (Aug 08 2022 at 17:50): Email Gateway (Aug 08 2022 at 17:50):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
this is a reminder that our Isabelle Workshop 2022 happens on Thu 11-Aug-2022
from 9:00-17:30 on the time zone of Haifa (GMT+3).
Virtual participation works via our own BigBlueButton server at TU München,
the link is on the workshop webpage:
https://sketis.net/isabelle/isabelle-workshop-2022
The program and papers are available as well. After the event, speakers are
invited to send slides to me via E-Mail for the same webpage.
Makarius
Last updated: Jan 04 2025 at 20:18 UTC