Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for papers: Isabelle Workshop 2022


view this post on Zulip Email Gateway (Dec 22 2021 at 19:49):

From: Makarius <makarius@sketis.net>

Isabelle Workshop 2022

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.

view this post on Zulip Email Gateway (Apr 19 2022 at 08:42):

From: Makarius <makarius@sketis.net>

Isabelle Workshop 2022

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.

view this post on Zulip Email Gateway (May 07 2022 at 18:54):

From: Makarius <makarius@sketis.net>

Isabelle Workshop 2022

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: Jul 15 2022 at 23:21 UTC