Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Hybrid Isabelle Workshop 2022: Thu 11-Aug-2022...


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