Email Gateway (May 28 2024 at 19:31): Email Gateway (May 28 2024 at 19:31):From: Makarius <makarius@sketis.net>
Dear prospective workshop participants,
the Isabelle Workshop 2024 in Tbilisi (colocated with ITP 2014) will be moved
from 13-Sep-2024 to 14-Sep-2024, in order to avoid conflicts with the main
program of the ITP conference.
It might take a few more days, until the ITP organizers formally commit on
that. This early announcement may help to organize travels accurately, and not
miss important parts of the ITP event.
As usual the workshop website
https://sketis.net/isabelle/isabelle-workshop-2024 will be continuously
updated to reflect the current state of affairs.
Makarius
Last updated: Jan 04 2025 at 20:18 UTC