Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle Workshop 2020 ?

view this post on Zulip Email Gateway (Aug 22 2022 at 21:02):

From: Walther Neuper <walther.neuper@jku.at>
where and when will the workshop be organised next year ?

best, Walther

view this post on Zulip Email Gateway (Aug 22 2022 at 21:02):

From: Tobias Nipkow <nipkow@in.tum.de>
Possibly at IJCAR in Paris. We expect a decision by the beginning of December.

Tobias
smime.p7s

Last updated: Apr 19 2024 at 16:20 UTC