Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Final Call for Bids (ITP 2011)


view this post on Zulip Email Gateway (Aug 18 2022 at 14:28):

From: Matt Kaufmann <kaufmann@cs.utexas.edu>
Hello --

In the last few days we have received several expressions of interest
in submitting a bid to host ITP 2011. We now invite the community to
submit formal bids by following the instructions on the following web
page, which is a slightly edited version of the original call for
bids, in particular to allow submissions from Europe.

http://www.cs.utexas.edu/users/kaufmann/itp-2011-bids.html

As we receive bids, we will post information about them on the above
web page.

The last day for receipt of bids will be Wednesday, February 17. We
will then issue a call for votes, as described on the above page.

Regards,
Matt Kaufmann and Larry Paulson (ITP 2010 co-chairs)


Last updated: Mar 29 2024 at 12:28 UTC