Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] TPHOLs 2008

Email Gateway (Aug 18 2022 at 11:51):

From: Tobias Nipkow <nipkow@in.tum.de>
Hi,

If you intend to attend TPHOLs 2008 in Montreal and would be interested
in an informal get-together of Isabelle users before, during or after
the conference, let me know. Just for an hour or two, to exchange ideas,
and for a face-to-face meeting between users and developers.

Thanks,
Tobias

Last updated: Nov 21 2024 at 12:39 UTC