[isabelle] TPHOLs 2008


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.


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