Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Hybrid Isabelle Workshop at FLoC / Lisboa

view this post on Zulip Email Gateway (Jul 23 2026 at 20:44):

From: Makarius <makarius@sketis.net>

Dear Isabelle users,

our two-day Isabelle Workshop 2026 starts tomorrow morning at FLoC in
Lisbon, Portugal. See also
https://sketis.net/isabelle/isabelle-workshop-2026

Those of you who can't be there physically, may follow via the virtual
channel that is given on the workshop website BigBlueButton (via TU
Munich). The virtual session will not be recorded.

Makarius

Last updated: Aug 12 2026 at 20:47 UTC