Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] ITP/FLoC early registration, program


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

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

The last day for early registration to attend ITP 2010 (indeed, for
any FLoC conference) is Monday, May 17. You can register here:

http://www.floc-conference.org/registration.html

You can view an early copy of the program here:

http://www.cs.utexas.edu/users/kaufmann/itp-preliminary-program.html

Regards,
Matt Kaufmann and Larry Paulson


Last updated: Mar 29 2024 at 04:18 UTC