[isabelle] TPHOLs 2008



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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.