Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] ML Family Workshop 2022: DEADLINE EXTENSION


view this post on Zulip Email Gateway (May 31 2022 at 16:12):

From: Benoit Montagu <benoit.montagu@inria.fr>
To increase your chances of submitting your work to the ML workshop,
the submission deadline is extended by a week.
The new deadline is Friday 10th June (AoE).

A quick reminder:


Last updated: Jul 15 2022 at 23:21 UTC