Email Gateway (Dec 22 2021 at 19:49): Email Gateway (Dec 22 2021 at 19:49):From: Makarius <makarius@sketis.net>
Where: remotely + locally (hybrid) in Haifa, associated with FLoC 2022.
When: 11-Aug-2022 (timezone of Haifa: GMT+3)
Paper submission deadline: 15-May-2022
Notification of acceptance: 13-Jun-2022
Organisers: Tobias Nipkow, Larry Paulson, Makarius Wenzel
See https://sketis.net/isabelle/isabelle-workshop-2022 for further details,
including the Easychair submission page.
Email Gateway (Apr 19 2022 at 08:42):From: Makarius <makarius@sketis.net>
Where: remotely + locally (hybrid) in Haifa, associated with FLoC 2022.
When: 11-Aug-2022 (timezone of Haifa: GMT+3)
Paper submission deadline: 15-May-2022
Notification of acceptance: 13-Jun-2022
Organisers: Tobias Nipkow, Larry Paulson, Makarius Wenzel
See https://sketis.net/isabelle/isabelle-workshop-2022 for further details,
including the Easychair submission page.
Email Gateway (May 07 2022 at 18:54):From: Makarius <makarius@sketis.net>
Where: remotely + locally (hybrid) in Haifa, associated with FLoC 2022.
When: 11-Aug-2022 (timezone of Haifa: GMT+3)
Paper submission deadline: 15-May-2022
Notification of acceptance: 13-Jun-2022
Organisers: Tobias Nipkow, Larry Paulson, Makarius Wenzel
See https://sketis.net/isabelle/isabelle-workshop-2022 for further details,
including the Easychair submission page.
Last updated: Jan 04 2025 at 20:18 UTC