Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for bids to host ITP 2023

Email Gateway (Mar 04 2022 at 10:32):

From: Leonardo de Moura <cl-isabelle-users@lists.cam.ac.uk>
Friendly reminder that the call for bids to host ITP 2023 closes in 1 week.

Note that we got the date wrong below when saying the deadline is "Friday, March 9, 2022” because March 9 is a Wednesday :) So to be fair, we’ll adjust the deadline to Friday 11th March 2022, i.e. in 1 week.

Thanks,
Leo and June

Last updated: Jul 15 2022 at 23:21 UTC