Email Gateway (Aug 22 2022 at 13:43): Email Gateway (Aug 22 2022 at 13:43):From: Tobias Nipkow <nipkow@in.tum.de>
The (impressive!) program for the Isabelle workshop at Nancy is online now:
http://www.in.tum.de/~nipkow/Isabelle2016/
Please consider attending ITP and the workshop even if you do not present a paper!
See you there
Tobias Nipkow
Larry Paulson
Makarius Wenzel
smime.p7s
Email Gateway (Aug 22 2022 at 13:43):From: Jasmin Blanchette <jasmin.blanchette@inria.fr>
The link above appears to be momentarily broken; it redirects to "http://localhost/Isabelle2016/". I get the same effect on two independent machines. I guess this must be a configuration problem with "www.in.tum.de".
The following link works:
http://www21.in.tum.de/~nipkow/Isabelle2016/
Jasmin
Email Gateway (Aug 22 2022 at 13:43):From: Tobias Nipkow <nipkow@in.tum.de>
Thanks for posting the alternative link. The original one works again now.
Tobias
smime.p7s
Last updated: Apr 20 2024 at 08:16 UTC